3 ms·
> 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
by tasogare 7y 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.
- pjmlp 7y agoF*, https://www.fstar-lang.org/ https://www.fstar-lang.org/