3rd μHUG: Pipes, Idris, and Haskell ahaaas

After our summer hiatus, our third meetup will be hosted by Holiday Check near Ostbahnhof!

The first talk is by Johannes Drever about Pipes, one of Haskell’s big streaming libraries. Pipes is fairly easy to get into due to its amazing documentation, features a large ecosystem and loads of flexibility.

In the other talk, Jan Stępień will introduce us to Idris, a very much Haskell-inspired language that adds dependent types as its main feature.

As a fallback (illness etc.), we could have a look at a couple of surprises and quirks that can be found in Haskell these days.