Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 &...
Corbin's user avatar
  • 220
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/...
Apoorv's user avatar
  • 639