Questions tagged [ocaml]
The ocaml tag has no usage guidance.
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 &...
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), but I could not find any documentation on how OCaml formalizes/implements/...