I currently teach our univ 3rd year students FP using an F#/FABLE/elmish/electron toolchain. The idea is show them the merits of declarative programming plus strong typing, but with this allow fun web UI style project work. So they learn a pure subset of the FP language and then work with nearly pure web code. I’d love to do this using OCamL / reasonML (or whatever it is called) / some MVU skeleton / electron. OCaml is a better fit for what I want to teach than is F#, and is better tech. But, for teaching, I need stuff to be working quite well without too many rough edges. Where is the “ocaml on the web” project vs the “F# on the web project” now do people think?
F#/FABLE seems incredibly complex, and is very slow to compile, but it does all work and has lots of infrastructure.
From my POV OCaML is the best of the sweet spot Hindley-Milner mostly FP languages, and perfectly suited for teaching, just it does not quite have all that is needed now…
Best wishes, Tom