>Java and C++ tend to have exploding codebase size because of the proliferation of types, which cause the M * N explosion. I think haskell and friends demonstr

>Java and C++ tend to have exploding codebase size because of the proliferation of types, which cause the M * N explosion. I think haskell and friends demonstrate that your explanation for java and C++ "exploding" is incorrect. Haskell is all about types, lots of types, and making your own types is so basic and simple that it happens all the time everywhere. Yet, there is no code explosion.