So you want to learn type theory

Re:So you want to learn type theory by molikto on Sunday December 21, 2014 @01:22PM (#8780430)

what about categorial semantics? hahaha!!!

[ Parent | on HN ]

Re:So you want to learn type theory by derriz on Sunday December 21, 2014 @05:31PM (#8781204)

Walk away now. Type Theory derailed my PhD studies. Seduced by constructivism, Curry-Howard, Martin-Löf and especially Girard's Proofs and Types, I wasted two years and subsequently abandoned my postgraduate studies. It's comp. sci. flavoured esoteric nonsense.

[ Parent | on HN ]

Re:So you want to learn type theory by molikto on Monday December 22, 2014 @01:44AM (#8782270)

is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure

[ Parent | on HN ]

Re:So you want to learn type theory by TheGrassyKnoll on Monday December 22, 2014 @01:39PM (#8784364)

I think they call it: 'death'

[ Parent | on HN ]