Questions tagged [ocaml]
The ocaml tag has no usage guidance.
2
questions
1
vote
0
answers
9
views
Can a CAM-style abstract machine fold a tree? What if it has a second stack?
The title's a little provocative, sorry. In the categorical abstract machines (CAMs), technically there are no "right folds"; the only way to consume a list is from the "left" or &...
1
vote
0
answers
46
views
Is there any formalization of GADTs implemented in OCaml?
There are papers that describe how generalized algebraic datatypes (GADTs) are encoded in core Haskell (System FC)[1][2], but I could not find any documentation on how OCaml formalizes/implements/...