FWIW, I have plenty of friends in the PL research world who design type systems that are not based on your restrictive definitions (type system = initial algebra, type system design = category theory). But I have no interest in a theoretical shouting match. We'd probably lose -- no one on our team is a category theorist -- so there's no point in fighting.
Regardless, I believe our policies are clear. And I believe that it's pretty common etiquette in many cultures throughout the world that you don't walk into a community and tell them "do things my way or give up everything you're doing because otherwise it's all doomed." That's rude, it's presumptuous, and I would suggest it's an awfully self-destructive way to think. Dave _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
