Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

I have the following OCaml code, what would be the output for static scoping and dynamic scoping?

Penny Bas's user avatar
1 vote
0 answers

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
2 votes
1 answer

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
  • 659