Hacker News new | ask | show | jobs
by iopq 4678 days ago
> Both Clojure and Common Lisp have type systems that can do most things ml and haskell can do.

Except they let you do MORE, which is often bad. For example, in Haskell STM you have a static guarantee that you don't have mutation or IO inside of a transaction. How are you going to guarantee that with Clojure STM?

1 comments

That is absolutly possible with a static type system.