Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml (coalton-lang.github.io)

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.