Skip to content

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

Photo of David »quchen« Luposchainsky
Hosted By
David »quchen« L. and Franz T.
3rd μHUG: Pipes, Idris, and Haskell ahaaas

Details

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.

Photo of μHUG – Munich Haskell User Group group
μHUG – Munich Haskell User Group
See more events
Holiday Check
Neumarkter Str. 61 · München