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 hand, maybe the problem with polymorphic comparisons in OCaml
might be solved
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
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
Unfortunately, Refinement Types as all other types are only useful as long
as you write them and prove (explicitly or implicitly) your code respect
them.
That's not the case for external code in libraries and frameworks, in your
case for OCaml and JS code you have to interface with.
You can
