> I feel that I've lost much of what makes Haskell/ML great: programming by composition with strong compile-time guarantees of correctness. That's true. Common

> I feel that I've lost much of what makes Haskell/ML great: programming by composition with strong compile-time guarantees of correctness. That's true. Common Lisp and Haskell/Ocaml are completely different languages and require very different programming. Interestingly there is some overlap in applications. ML (actually SML and OCAML) is widely used for theorem provers. Common Lisp has a dozen theorem provers, too. Like ACL2, PVS, OBJ, ...