Experience report: Bluefin in industry
summary
Bluefin is an IO-backed Haskell effect system used to replace transformers/MTL in assembly tooling for Groq’s LPU chip, claiming value-level effect handles reduce coupling and improve type inference and resource safety. Migration from MTL/transformers proves straightforward; typical functions carry three effects (occasionally five) or a bundled record. streams are extremely useful in practice for separation of producer/consumer concerns. Performance is said to be predictable but multi-argument benchmarking (calling-convention costs) is not yet measured.
AI-written summary · about
chapters (10)
- 0:00Bluefin effect system
- 3:52Constraints vs value-level handles
- 7:02Streaming as architecture
- 10:55Migrating legacy code
- 13:21Benefits for functional architecture
- 16:55Imperative programming and effects
- 18:22Predictable performance
- 20:29Relation to session types
- 21:55Architecture and performance coupling
- 24:53GHC limitations and future
related talks
44mGet started with Bluefin
39mDesigning software with effects systems
01h 06mThe Evolution of Effects
32mEffective Programming in OCaml
33mExtensible Effects: A Leaner Cake for Purely Functional Code
14mFundamentalist Functional Programming
43mFunctional Programming with Effects
50mFunctional Programming with Effects