Hacker News new | ask | show | jobs
by tasogare 2345 days ago
> I wish Microsoft would invest in something like the koka language

Given the ML-like syntax of Unison, it would be nice to see F# taking some of the key ideas.
1 comments
pjmlp 2345 days ago
F*, https://www.fstar-lang.org/
link