Hacker News new | ask | show | jobs
by nine_k 263 days ago
One candidate is ATS [1].

Another, https://cakeml.org/

[1]: https://en.wikipedia.org/wiki/ATS_(programming_language)