Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
0answers
367 views

Why did Caml become OCaml? (or, why use objects in F#?)

I have been programming in F# for a decade and in that time I have found that when I am working within the purely functional aspects, ie. the ML lambdas, tuples, generics, etc, that everything is ...
2
votes
2answers
244 views

Why does ML's Value Restriction stop you from capturing parametric values?

Here the MLton manual explains ML's value restriction. Specifically, it disallows functions to take on multiple parametric instantiations if they have a closure over local variables. Edit: note ...
14
votes
2answers
1k views

Formal semantics of OCaml in Coq

The semantics of a large subset of OCaml, called OCamllight, was formalized in HOL by Owens several years ago. More recently, a type theoretical semantics of a smaller subset of OCaml was implemented ...