>>699>Have you ever tried F#?
I dont use windows. And I am aware that F# can be used crossplatform on Mono but I dont believe that the Mono ecosystem is ever going to take off unless it gets more support from MS
The math functions can be overloaded afaik, do you ever use SML for the proofing?
The type checker in both SML and Ocaml are massively polymorphic and will check through inference that the type signature is exhaustive, that is, will make sure every possible input type is known at compile time. The price of overloading math operators in SML is that it cant be inferred at compile time so has to be explicitly declared.
And no I dont use SML for logic proving although I am currently learning mathematical logic. I would like to learn how logical proofs can be used in machine learning at some point but I probably am not smart enough to ever get to that level.