4 ms·
A very mind-blowing and challenging book about Types. The strange loop talk and my own interview of the authors might give some sense of what it's all about. T
by adamgordonbell 4y ago
A very mind-blowing and challenging book about Types.
The strange loop talk and my own interview of the authors might give some sense of what it's all about. There is also some interesting work online showing how the language used in the book can be created.
https://www.youtube.com/watch?v=VxINoKFm-S4 https://www.youtube.com/watch?v=VxINoKFm-S4
https://corecursive.com/023-little-typer-and-pie-language/ https://corecursive.com/023-little-typer-and-pie-language/
https://davidchristiansen.dk/tutorials/nbe/ https://davidchristiansen.dk/tutorials/nbe/
- specialp 4y agoI was at that talk by David which is the first link. Highly recommended watch, he is such a good presenter. The way he went full circle there and had the room in raucous applause at the end was something I never forgot.
- d_christiansen 4y agoThanks for the links! If Haskell is more your style than Racket, there's a Haskell version of the implementation tutorial at https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf https://davidchristiansen.dk/tutorials/implementing-types-hs... .
- nequo 4y agoThe Strange Loop talk was very enjoyable. You are a gifted public speaker. And I just want to say that I am excited to read your book on Lean in full, too!