A technical vision for the Haskell ecosystem

Re:A technical vision for the Haskell ecosystem by rafaelRiv on Friday November 13, 2026 @10:52AM (#50485292)

Try to do a web server in lean4 and we will talk after

[ Parent | on HN ]

Re:A technical vision for the Haskell ecosystem by itishappy on Friday November 13, 2026 @10:55AM (#50485378)

https://lean-lang.org/doc/api/Std/Http/Server.html

https://leangineer.com/blog/realworld-in-lean/

https://news.ycombinator.com/item?id=50088748

[ Parent | on HN ]

Re:A technical vision for the Haskell ecosystem by carterschonwald on Friday November 13, 2026 @11:13AM (#50485645)

yeah ive never heard anyone say they like doing productive coinduction in lean. agda almost has a story, but the ergonomics and semantics arent trivial.

though i have thought about it.

[ Parent | on HN ]

Re:A technical vision for the Haskell ecosystem by cmrx64 on Friday November 13, 2026 @11:23AM (#50485777)

https://github.com/emberian/dragons-net ok. or what about https://github.com/emberian/fn (runs in either lean or lisp!)

[ Parent | on HN ]