@rae: GHC detects redundant constraints

@rae: Figuring out what constraints to generalize is hardПодробнее

@rae: Fixing a bug in decomposing equality constraintsПодробнее

@rae: UndecidableInstances can actually cause a runtime loop. Eek!Подробнее

@rae: How to read some common GHC errorsПодробнее

@rae: Let should not be generalized: the MonoLocalBinds extension to GHCПодробнее

High Level Synthesis (HLS) Explanation 16: More on redundant II constraintsПодробнее

@rae: Fake injective type families are hard to type checkПодробнее

03 redundant constraintsПодробнее

@rae: Why Haskell can't get rid of Proxy (yet)Подробнее

Lecture 7 LPP GRAPHICAL REDUNDANT CONSTRAINTПодробнее

Richard Eisenberg - Simplifying Constraint Solving in GHC (HaskellX 2020)Подробнее

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!Подробнее

Richard Eisenberg on Simplifying Constraint Solving in GHCПодробнее

Motion Control of Redundant Robots with Generalised Inequality ConstraintsПодробнее

@rae: A guide to pattern match warnings in GHCПодробнее

Real-Time Shape Estimation of Hyper-Redundant Manipulator using Coiled Soft SensorsПодробнее

@rae: Deferring type errors in HaskellПодробнее

@rae: Let-generalization is confusingПодробнее