23 тысяч подписчиков
34 видео
Type Inference from Scratch: A Workshop with Christoph Hegemann
A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
A Universal Hostless Substrate: Full Stack Web Apps Without a Backend, and More!
Next-gen Haskell Compilation Techniques with Csaba Hruska
Scala on Android
A Horrified Haskeller's Descent into Python Gradual Static Typing