Questions tagged [ocaml]
The ocaml tag has no usage guidance.
4
questions
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:
...
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 ...
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 ...
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 ...