Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
64 views

Is it possible to define beta reduction for PHOAS?

I'm using Parametric Higher-Order Abstract Syntax (PHOAS) as a representation for untyped lambda calculus in OCaml: ...
Hirrolot's user avatar
4 votes
0 answers
616 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 ...
Stephen Hosking's user avatar
2 votes
2 answers
314 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 ...
David Jeske's user avatar
14 votes
2 answers
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 ...
Andrea Asperti's user avatar