Note

• The module system in ML is clearly intended to try to make the language more industrial strength and feasible for practical use

• A challenge is balancing the software engineering needs with the type system in ML

Previous slide

Next slide

Back to first slide

View graphic version