News for hackers. Stuff that matters.

A comment on Will Computers Redefine the Roots of Math?. Parent comment

Re:Will Computers Redefine the Roots of Math? by bumeye on Wednesday May 20, 2015 @08:31AM (#9575833)
If anything, Haskell is based on lambda calculus. More particularly System F.

As in any lambda calculus, you can interpret the type system as a category where the objects are types and the arrows are functions. Classes like Functor and Monad are based on this interpretation.

[ Parent | on HN ]
Re:Will Computers Redefine the Roots of Math? by AnimalMuppet on Wednesday May 20, 2015 @12:21PM (#9577351)
Well, all right, but then if you interpret the type system using a univalent approach, what do you get?
[ Parent | on HN ]