> He observed that Nim takes the entire program as a monolithic block, > therefore import would be in fact an include, that is another way to say: Nim > is lacking modularity. And this is true.
Hardly, it depends on what you mean by "modularity". You cannot have it both ways -- you claim that we ignored 50 years of research into type systems which for me basically means "you ignored ML, Ocaml, Haskell" but then at the same time ML, Ocaml and F# have the same restrictions wrt mutually recursive types...
