Rae What Happens When A Haskell Programmer Writes Java

Summary

Richard Eisenberg explores why we need the Proxy type, why we *almost* can get rid of it (cue -XTypeApplications), but ultimately ... I give an introduction to GHC's RebindableSyntax extension, with examples. GHC manual page: ... I share a little on what's been going on in the broader journey toward dependent types in This more introductory video walks through Recent work within GHC has opened up questions about which constraints should be generalized (that is, included in an inferred ... I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents let-generalization. I go through a few common type error messages from GHC and explain what the terms in the messages mean. This video is ... I demonstrate how using impredicative types and dynamic types (as they work in In some GHC work I've been up to (in collaboration with Sam Derbyshire aka and Simon Peyton Jones), I discovered that ... I walk through the four different strategies GHC uses to implement `deriving` when declaring a new datatype. Previous video ...