discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
An accessible introduction to type theory and implementing a type-checker
https://mukulrathi.co.uk/demystifying-deep-learning/backpropagation-computation-graph-lstm/
3 comments
5/12/2020
Reddit
An accessible introduction to type theory (and implementing our own type-checker!)
https://mukulrathi.co.uk/create-your-own-programming-language/intro-to-type-checking/
3 comments
14/1/2021
programming