"Well-Typed at ZuriHac 2025"

https://well-typed.com/blog/2025/08/zurihac-well-typed-2025/

#Haskell #ZuriHac

To those who could not attend #ZuriHac 2025, we salute you!

The videos of this year's talks are now available https://discourse.haskell.org/t/zurihac-2025-videos-online/12430

#Haskell

Re: ZuriHac 2025 Trip Report

In ZuriHac 2025 Trip Report Tristan de Cacqueray writes:

I still wish there were an official recommended way of doing mundane things, like handling HTTP request errors, to avoid wasting time figuring this out on your own.

Yes, a hundred times this - as a, still fledgling, Haskell programmer, such guidance would be ever so nice!

When you start having a bit of an overview and when you have developed a "taste", then it's easier to pick and choose. Until then it's nice to be able to put on the "learning wheels" of 'recommended ways of doing basic things'.

P.S. If every library also had a section in the documentation showing a fully working example of how it can be used ("SYNOPSIS" in CPAN terms), that would be perfect.

Unexpectedly learning Lean 🤷🤷

#lean4 #zurihac2025 #zurihac

The 2nd day of ZuriHac is starting!

For our opening talk of Tom Ellis about effect systems, gather now in the aula!

#zurihac

Found a 9 hole biblically accurate outlet and although I assumed before they were all the same phase, now wondering if it's a fancy three phase connector

#zurihac #RappiBar