Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Could you add polymorphism / data types / pattern matching / garbage collection / modules / etc.?

April 26, 2017collection Data garbage matching modules Pattern polymorphism types

0

Posted

Could you add polymorphism / data types / pattern matching / garbage collection / modules / etc.?

1 Answer

0

Posted

I’d love to, but there is a tradeoff between simplicity and functionality (even in ML). Adding those features would have made the compiler too complex for the original audience—that is, undergraduate students. On the other hand, it would be nice projects for more advanced audience (such as graduate students). If you are interested in a compiler with more functionality and complexity than MinCaml (but less than OCaml), take a look at Caml Light and its variants.