3 ms·
What about F*? It has dependant types, and is already in use in production at some places (there is a project of making a proved TLS implementation with it and
by p4bl0 7y ago
What about F*? It has dependant types, and is already in use in production at some places (there is a project of making a proved TLS implementation with it and it is quite advanced iirc).
Also, it is somewhat based on F# which is based on OCaml so I would bet that performance wise it can beat Haskell.
https://www.fstar-lang.org/ https://www.fstar-lang.org/
- carlmr 7y agoI would also say OCaml and F# style is also less foreign than Haskell to most newcomers. It's almost like (type-hinted) python + match expressions + pipes.
- Hitton 7y agoI guess that the author didn't consider them, because neither of them is lazy by default, at the beginning he mentioned laziness as major Haskell advantage.