Questions tagged [ocaml]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
15 views

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
10 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
2 votes
1 answer
63 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
  • 659