Interactive Haskell Type Inference Exploration (Extended Abstract)
summary
Chameleon revives a 2000s constraint-based Haskell debugger, updated in 2020 with modern libraries, language standard changes and a rewritten unification/constraint solver that removes the old C FFI cross‑platform issues. Error reporting becomes a data-oriented API consumed by a new editor front end. Key interactive diagnostics actually compute minimal unsatisfiable constraint sets, enumerate all contributing source locations, and present them in type compare view, type deduction view and traffic light notation. A web editor is live and a small university study (a few students) has exercised the features.
AI-written summary · about
chapters (4)
- 0:00Start
- 4:18Generalized type error output • New editor frontend and interactive debugging tools
- 4:53Goals: • Agentle learning curve for Haskell beginners A series of usefull tools for teaching Haskell
- 7:31Type Compare View Constraint-based type inference
related talks
01h 04mHaskell - A Peek Inside the Ivory Tower
20mTowards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
42mFunctional interpreters and you
01h 08mUnconference
16mDigging for Fold: Synthesis-Aided API Discovery for Haskell
39mHands-On Intro to Bidirectional Type Inference with Elm
47mIs There a Future for a Formally Specified Haskell Report
38mWhat Haskell Taught Us When We Weren't Looking