3 ms·
In terms of buzzword bingo, F* is as close to my ideal programming language as I can think of, but I do wonder if it'll ever get the tooling support to make it
by ZenoArrow 9y ago
In terms of buzzword bingo, F* is as close to my ideal programming language as I can think of, but I do wonder if it'll ever get the tooling support to make it more attractive as a general purpose language.
- tytytytytytytyt 9y agoWhat is it missing that something like SML has? Why couldn't I just switch from another language to this today, assuming I don't care about IDE support for it?
- ZenoArrow 9y agoIf you're interested, and you don't care much about tooling, go for it: https://github.com/FStarLang/FStar/blob/master/INSTALL.md https://github.com/FStarLang/FStar/blob/master/INSTALL.md