18 ms·
Dependent types are making their way into more practical applications now, yes, but the concept itself is also not new at all, it stems from the Curry-Howard is
by sklogic 11y ago
Dependent types are making their way into more practical applications now, yes, but the concept itself is also not new at all, it stems from the Curry-Howard isomorphism, which is known for far more than 30 years.
So, back to the point: anyone who knew how to program 30 years ago would easily pick it up now, without any significant learning.
- gclaramunt 11y agoI guess my point is if you learned to program 30 years ago using functional programming with dependent types and category theory, it must have been an awesome place to work/study, and I envy you. Which university it was?