undefined | Better HN

0 pointstome5y ago0 comments

> Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell.

What aspects of a book in abstract algebra introduce you to concepts of type theory, would you say?

0 comments

The most basic ones: that objects have certain properties and those properties define how they can interact with other objects. How those properties get preserved under interactions and how one should think about it.

j / k navigate · click thread line to collapse

0 pointstome5y ago0 comments

> Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell.

What aspects of a book in abstract algebra introduce you to concepts of type theory, would you say?

0 comments

heavenlyblue5y ago

j / k navigate · click thread line to collapse