Where Do Type Systems Come From?

Re:Where Do Type Systems Come From? by agumonkey on Friday July 07, 2017 @06:19PM (#14722632)

To each his own path. Maybe you'll change course, maybe not, maybe type theory will evolve (HoTT comes to mind).

[ Parent | on HN ]

Re:Where Do Type Systems Come From? by miguelrochefort on Friday July 07, 2017 @06:54PM (#14722860)

I can't seem to grasp HoTT.

Are there any approachable resources on the subject?

[ Parent | on HN ]

Re:Where Do Type Systems Come From? by alimw on Friday July 07, 2017 @07:15PM (#14722972)

Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...

[ Parent | on HN ]

Re:Where Do Type Systems Come From? by stepik777 on Friday July 07, 2017 @07:43PM (#14723141)

There is an official book which is very well written. I remember that I started to read it several years ago and was surprised that I actually can understand most of the things.

[ Parent | on HN ]

Re:Where Do Type Systems Come From? by agumonkey on Friday July 07, 2017 @07:08PM (#14722928)

I only read two pages on homotopy so far, I cannot answer that :)

[ Parent | on HN ]