Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
CoRecursive: Coding Stories
00:00
Type Theory - Sameness Has Sameness
The notion of sameness in the type theory is probably the most important thingikewhen people are first iana. It allows you to know when computation is going to happen, and it allows you to knows when the computer is not going to do the works for you. And that sort of thing beits. I don't think i've fully wrapped my head around it. The other part just kind of falls out from that, and that's because it’s so much more important than thinking about which programmes are the same as which other programmes. When your types get to contain programmes, then checking for sam consistency means checking for sameness of programs as well. So we can thank p
Transcript
Play full episode
