Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers

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

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

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

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