Hmm. What about haskell, or, going in a completely different direction, assembler?

Also, why sml over lisp?

I think Tom is messing with you on that one.

Full disclosure: ex-Matasano here, and die-hard lisp dude.

If somebody writes it, they will figure out how to rip it apart. Bank on it.