I wish the world adopted ML's modules and functors. Especially higher-order functors, which are kind of an extension of the standard. But I think Go is more wo

I wish the world adopted ML's modules and functors. Especially higher-order functors, which are kind of an extension of the standard. But I think Go is more worried about compiler performance, so if there are significant complexities in the surface syntax of generics or in their downstream consequences, it will be an impediment there. I think the people behind Go consider most type theory to be an impediment to productivity and would rather accept something simple with shortcomings they understand than try to do it "right." I think this is a perfect example of Unix's "worse is better" philosophy. Whether we agree with it or not is another question.