News for hackers. Stuff that matters.

A comment on Ask HN: How to deal with the tedium of programming?. Parent comment

Re:Ask HN: How to deal with the tedium of programming? by sklogic on Wednesday June 10, 2015 @05:41PM (#9695697)
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.

[ Parent | on HN ]
Re:Ask HN: How to deal with the tedium of programming? by gclaramunt on Thursday June 11, 2015 @10:06AM (#9699769)
I 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?
[ Parent | on HN ]