You should rewrite the Linux kernel in:
- MLton
- SML/NJ
- Mercury
- RPG/400

;D