#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.html

Anyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?