A good talk.

This commit is contained in:
Simon Forman
2022-08-15 17:33:34 -07:00
parent 3883cac99a
commit f70a941be3
+9
View File
@@ -0,0 +1,9 @@
https://www.youtube.com/watch?v=_IgqJr8jG8M
Concatenative Programming: From Ivory to Metal
Great talk from Jon Purdy in 2017, he wrote Kitten.
"Complete and Easy Bidirectional Typechecking
for Higher-Rank Polymorphism"