3 ms·
I would also like to add that F# is functional, imperative & OOP language. If any program uses any combination of these, it is still the F# code. But I agree th
by tegeek 12y ago
I would also like to add that F# is functional, imperative & OOP language. If any program uses any combination of these, it is still the F# code. But I agree there has to be more taste of "F#" since it is a functional first language.
- eggy 11y agoI love F#, and I was looking at Idris for a more functional program verification, theorem-proving language. Then I stumbled upon F* (Fstar) - https://www.fstar-lang.org/ https://www.fstar-lang.org/ It is like F# but uses the Z3 solver, and is very ML like.