Next Meetup

Alex Silva - A Tour of Dependent Types with Idris
In this talk we will first see an overview of dependent types, Idris and how Idris is different from Haskell. Then we will look at a few examples of dependent types to understand how they help in better designing your programs and writing more correct programs by construction.

ETH Zurich / Zentrum / CAB H 52

Universitätstrasse 6 · Zürich

    Past Meetups (72)

    What we're about

    We are meeting once a month to share knowledge of and experience with Haskell.

    Each time, one of us presents a topic, be it a library, a programming technique, development tools, or internals of GHC or other implementations. The format varies depending on the topic and the presenter between hands-on workshops, discussions and lectures.

    Prior knowledge certainly helps, but we definitely don't require you to be an expert to join and/or to present a topic. The only thing that is important is that you are interested in Haskell and that you are eager to learn more.

    HaskellerZ is organized by the Zurich Friends of Haskell (

    Members (424)

    Photos (10)