> statically typed, inference and category theory heavy languages that are rapidly growing. All of this is quite old too. As I said, I learned ML as an undergr

> statically typed, inference and category theory heavy languages that are rapidly growing. All of this is quite old too. As I said, I learned ML as an undergraduate in 96, 20 years ago. Back then, many "hackers" laughed about such languages. Actually, that's why I think a more foundational CS curriculum is a good thing, as opposed to those that are heavily based on technologies.