This site took too long to answer. You can still read it on the original site — the toolbar below keeps your place in the directory.
The O in OCaml is for its object-oriented extension, but I needed a way to emulate the constraints of inheritance without it. This raised some interesting design questions about how to do it using only the core ML language.

Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.