I wonder why one example fails and not the other. (* this fails *) (* (l fails to type check) This expression has type 'a but an expression was expected of type (module M.TFixU) Th...

Following the tutorial at https://dune.readthedocs.io/en/stable/quick-start.html, I created a file hello_world.ml containing print_endline "Hello, world!" and a file dune containing (execut...

Is it best to always eta-expand as a fool-proof rule of thumb in OCaml ? type 'x recordx = { x : int } type 'y recordy = { y : int } let rec ok : type n a. n recordx -> a recordy -> int ...

What are all the possible implementations the following second-order example in OCaml ? Here is some very simple Haskell code exhibiting a fold, aka the universal property of the initial algebra FixH....