This argument is also applicable to your concrete example, and explains how you can achieve modularity in a strongly typed language even in that case. The type system just has to be flexible enough to allow for module functors.
In other words, the original article's argument holds only for strongly typed languages whose type system is too primitive.
http://news.ycombinator.com/item?id=2622491
This argument is also applicable to your concrete example, and explains how you can achieve modularity in a strongly typed language even in that case. The type system just has to be flexible enough to allow for module functors.
In other words, the original article's argument holds only for strongly typed languages whose type system is too primitive.