[mbrodersen]

For example: people who learned lisp years ago are now laughing about the hype higher level functions (lambdas etc.) are getting. It is ancient technology. Same when Java introduced garbage collection. Yet another ancient technology. However my argument is not that you should learn lisp today to get a job. You should learn it to understand the fundamental technologies that future fashionable frameworks/languages will use. Same goes for type theory. Rust is also using ancient technology (linear types) that you would already have known about long before Rust showed up if you learned type theory. The next step after Rush is of course dependent types.