Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
CoRecursive: Coding Stories
00:00
Theorems of Type Annotation
There are very few words in the book a. And there's no harm in rereading, rereading it. I may be even taking some notes as you're going along. So we do have a type, a way of doing type annotations in pie, which is that expression called theandand. We figured if idres and common lisp both call their type a scription operator the then we're in good company. Maybe that's why you were objecting to being called type initation before. But i was hoping to get one of you to maybe expand on it, cause i know nothingas om experts here.
Transcript
Play full episode
