Polymorphism in OCAML

Someone mentioned the expression problem!

I have notes on that. Around 6 approaches IIRC. (3 “non-solutions” and 3 “solutions”.)
There was this long discussion thread… “The shape design problem”
SpiceGuid covers it in their book (unfortunately the book link doesn’t work for me anymore).

2 Likes