4 ms·
This happens to me too, having dabbled with ML for theorem proving. Thing is, ML is an obscure language for most people. The association with machine learning
by yaseer 8y ago
This happens to me too, having dabbled with ML for theorem proving.
Thing is, ML is an obscure language for most people. The association with machine learning probably dominates in 95% of people.
- icc97 8y agoIt's becoming less obscure, F# (.net), Elm and Reason (JavaScript) are bringing ML to a wider audience. Plus Jane Street do a great job of promoting the use of OCaml.