Media Summary: We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ... I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents let-generalization. I explain why I view the lack of kind polymorphism (in Haskell since the beginning) as a bug and what
Rae Monomorphism Restriction Can Improve Performance - Detailed Analysis & Overview
We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ... I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents let-generalization. I explain why I view the lack of kind polymorphism (in Haskell since the beginning) as a bug and what I describe the MonoLocalBinds extension to GHC, and describe how it makes type inference more predictable by disabling local ... An exploration of the requirements on instances with functional dependencies. Description of the status quo: ... For the complete article, including links to the source material, see
I go through a few common type error messages from GHC and explain what the terms in the messages mean. This video is ... This video shows a way to use linear types to encode an invariant about money: it is never duplicated and must be spent. But the ... Support What's a Creel? on Patreon: Office merch store: ... I walk through the four different strategies GHC uses to implement `deriving` when declaring a new datatype. Previous video ... In some GHC work I've been up to (in collaboration with Sam Derbyshire aka and Simon Peyton Jones), I discovered that ... I explain Haskell's `Coercible` feature, and why we sometimes need role annotations to keep our code working correctly.
Recent work within GHC has opened up questions about which constraints should be generalized (that is, included in an inferred ... Wei Wei presents Interval LLM, addressing the lack of temporal modeling in sequential recommendation. Items and time intervals ... I explore the real definition of IO, and how it's just a fairly ordinary state monad. The only unusual aspect is that the state it passes ... Richard Eisenberg Richard is a Principal Researcher at Tweag I/O. His research centers around how we
