Haskell Tools, Compilers, Libraries and Community Projects

on YouTube ↗22m

" summary

Quick summaries of concrete projects and asks: a Haskell 2010 modules spec aiming for a mechanized module formalization; Flora package discovery (florapm) live since 2021 for searching Hackage packages; a proposal to distribute package collections via Hackage so Cabal can declare LTS/nightly collections; Beam SQL adding DuckDB support; Tricorder offering a daemonized build watcher with LLM integration; Wirecat uses arrow notation for observable data pipelines; IHaskell, Clash, Bluespec, mempack, equality-saturation, HLS, Reflex perf work, and a Haskell Security Response Team patching hackage server.

AI-written summary · about

" chapters (25)

1. 0:00Introduction To Project Pitches
2. 1:16Haskell 2010 Formal Specification
3. 2:19Flora Package Discovery Platform
4. 3:24Functional Reactive Programming And Clocks
5. 4:28Package Collections And Ecosystem Integration
6. 5:55Beam SQL And Database Tooling
7. 6:48Programming Language Design Experiments
8. 7:51Tricorder Build Automation And LLM Integration
9. 8:40Effect Systems With Arrow Notation
10. 9:22Type-Level Parser Combinators
11. 10:03Haskell For 3D Printing
12. 10:51PureScript Compiler Development
13. 11:23Bluespec Hardware Description Language
14. 12:06Haskell Security Response Team
15. 12:53Haskell Certification Initiative
16. 13:53Reflex Platform Development
17. 14:32Haskell Language Server Contributions
18. 14:59Haskell Katas And Learning Resources
19. 15:38Clash FPGA Programming
20. 16:25Type-Safe LLM Programming
21. 17:20IHaskell And Jupyter Integration
22. 18:11Experimental Computing And Vim Macros
23. 18:51High-Performance Serialization
24. 19:32Virtualization And KVM Automation
25. 20:10Equality Saturation And Debugging Tools

" related talks

• 53mFalling Skies: Haskell Tooling and Ecosystem GrowthTrevis Elser · 2025 Haskell Ecosystem Workshop
• 36mLightning Talks2026 Haskell Implementors' Workshop
• 52mProject Presentations - HaskellJasper Van der Jeugt · ZuriHac 2022
• 01h 26mReflections on Haskell@MetaSimon Marlow · 2025 Haskell Ecosystem Workshop
• 03mInterviewJoe Kachmar · Scale By The Bay 2018
• 46mPainless software development with HaskellPawel Szulc · Lambda World Cádiz 2019
• 01h 02mWrapping Up – Project Presentations & Closing CeremonyFarhad D. Mehta, Jasper Van der Jeugt · ZuriHac 2025
• 20mWeb Application Architecture in HaskellHécate · ZuriHac 2023