13:34@rae: The monomorphism restriction in Haskell causes order dependency. Ack!Tweag by Modus Create1.9K viewsView & Download
17:40@rae: UndecidableInstances can actually cause a runtime loop. Eek!Tweag by Modus Create1.0K viewsView & Download
19:58@rae: Impredicative types and dynamic types -- useful in parsing JSONTweag by Modus Create1.9K viewsView & Download
9:48@rae: Figuring out what constraints to generalize is hardTweag by Modus Create898 viewsView & Download
14:04@rae: How to sneak an access to the type-checker from Template HaskellTweag by Modus Create861 viewsView & Download
19:47Optionals and errors in Haskell & Rust - Monads by exampleContext Free15.2K viewsView & Download
44:20Jurriaan Hage - Domain-Specific Type Error Diagnosis in the Glasgow Haskell CompilerCurry On!908 viewsView & Download