On Fri, Dec 7, 2018, at 5:03 AM, Alexander Tchitchigin wrote:
> Hi Joel,
>
> As long as your main interest is Web development, have you considered
> F*'s "father" - F# (https://fsharp.org)?> In particular, WebSharper
> (http://websharper.com/) and Fable
> (http://fable.io/)?>
>
> On the other
Dear F* hackers,
I started learning OCaml a few months ago because I wanted a safer
language than Javascript.To my disappointment, there are problems in OCaml with
polymorphic
comparison that seems hard to solve,so I continued my search for an even better
language, and I found F*
which looks