3 ms·
Shout out to F#. I think it does a lot of this, doesn't get much respect I think because it is from MS and runs on .NET. Love the type checking, which I think
by FrustratedMonky 3y ago
Shout out to F#. I think it does a lot of this, doesn't get much respect I think because it is from MS and runs on .NET.
Love the type checking, which I think is better than Rusts. But since I think Rust will win the market, I hope it improves.
- lolinder 3y agoDafny also originated in MS and initially targeted .NET. https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/ https://www.microsoft.com/en-us/research/project/dafny-a-lan...
- janAkali 3y agoI believe, Nim also has this functionality, although, it uses the [0]Z3Prover tool with a nim frontend [1]DrNim for proving. [0]https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3 [1]https://nim-lang.github.io/Nim/drnim.html https://nim-lang.github.io/Nim/drnim.html
- manaskarekar 3y ago> Love the type checking, which I think is better than Rusts. But since I think Rust will win the market, I hope it improves. Could you please elaborate on this? What specific stuff are you suggesting that F# does so well?
- FrustratedMonky 3y agoI'm in-experienced with Rust. So bit subjective. F# uses algebraic types, and compiler can do pretty extensive type checking. I understand Rust also does this, it just seemed like Rust allows some options that make it not as complete. But, I'm not expert on Rust.