Main HaskellerZ meetup page.
This repository mainly hosts the slides from past meetups. The README moreover serves as a drafting document for upcoming meetups.
In general, we'll have a HaskellerZ meetup every last thursday of January until October every year. Note that we welcome guests and will happily adjust our schedule if they would like to give a talk.
This is a list of meetup topics suggested by HaskellerZ members. If you would like to give a talk about one of these topics or suggest a different one please message the organizers (preferably Martin O.) on HaskellerZ meetup page.
- Type Level Programming (Phantom Types)
- Yesod Framework
- Software Transactional Memory (runtime characteristics)
- Dependent Types for Haskell
- Functional data types (abstractions) vs imperative data types (abstractions)
- Ways of modeling side effects (I/O) in programming languages
- Recent advances in parsing libraries in Haskell
- Conduit, Pipes, IOStreams and similar streaming libraries
- 2018-09-20 - Simon Meier - Test-Driven Development of a Unification Algorithm (video - tbd, slides)
- 2018-10-25 - Roman Kashitsyn - Embracing the Failure: Unit testing with matchers (slides)
ZuriHac 2017 will take place from 9th to 11th of June: https://zurihac.info/
- 2017-02-08 - Ben Lippmeier - The Disciplined Disciple Compiler (DDC) (video, slides)
- 2017-02-23 - Niklas Hambüchen - FRP browser programming with Reflex (video, code, slides)
- 2017-04-06 - Tomas Carnecky - Writing web applications with Nauva
- 2017-04-27 - Andreas Lochbihler - Functional Programming and Proving in Isabelle/HOL (demo file, video)
- 2017-05-25 - Speaker: Michal Terepeta, Topic: Serialization in Haskell
- 2017-06-29 - open slot
- 2017-07-27 - Tom Sydney Kerckhove - Signature Inference for Property Discovery with EasySpec (video, code, slides)
- 2017-08-31 - open slot
- 2017-09-28 - open slot
- 2017-10-26 - open slot
- 2017-11-30 - open slot
-
2016-11-24: Andreas Herrmann - Compiling a simple functional language with LLVM and Haskell (slides, code, video to be uploaded)
-
2016-10-27: Carl Baatz - Build yourself a Haskell web framework (slides, code video)
-
2016-07-22 - 2016-07-24: ZuriHac 2016
- 2016-07-22: Bas van Dijk - Functional Programming at LumiGuide (keynote) (slides, video)
- 2016-07-22: Francesco Mazzoli - Parallelizing and distributing scientific software in Haskell (video, slides)
- 2016-07-23: Edward Kmett - Monad Homomorphisms (keynote) (video)
- 2016-07-23: David Luposchainsky - Low-level Haskell: an interactive tour through the STG (video, slides)
- 2016-07-23: Alexander Thiemann - Spock - Powerful Elegant Web Applications (video, slides)
- 2016-07-24: Andres Löh - Generic (and type-level) programming with Generics-Sop (keynote) (video)
- 2016-07-24: Andrey Mokhov - Meet Hadrian: a new build system for GHC (video, slides)
-
2016-02-25: Viktor Winschel - Modelling Economic Game Theory With Haskell 'n String Diagrams (slides, video)
-
2016-01-28: Simon Meier - A primer to commercial Haskell programming (slides, video)
-
2015-01-30: Emilie Balland - Testing in Haskell
-
2015-02-26: Simon Meier - Writing your first real-world Haskell program
-
2015-03-26: Mihaly Barasz - An introduction to game programming in Haskell
-
2015-04-30: topic and speaker to be determined
-
2015-05-29: ZuriHac 2015
- Jannis Limperg - Monads by example (structure, materials)
- Oliver Charles - Web programming (slides)
- Duncan Coutts - Better faster binary serialization (slides)
- Gergely Risko - Template Haskell (slides)
- Mathieu Boespflug - Distributed programming (slides)
- Edward Kmett - Discrimination is Wrong: Improving Productivity (slides)
- Johan Tibell - Performance (slides)
-
2015-08-27: Carl Baatz - An intro to web-programming using PureScript
-
2015-10-29: Martin Geisler - An intro to to typing REST APIs using Servant (notes, examples)
-
2014-01-30: Francesco Mazzoli - What's new in GHC 7.8
-
2014-02-27: Francesco Mazzoli - An introduction to Agda
-
2014-03-27: Mihaly Barasz - An introduction to the
pipes
library (slides, handout) -
2014-04-24: Gergely Risko - Hacking GHC made simple (slides, handout)
-
2014-05-29: Ivan Jovanovic - Monad Transformers and the standard transformer libraries (operational/transformers/mtl) (
operational
,transformers
,mtl
, slides, handout) -
2014-06-06: ZuriHac 2014 with talks by Simon Marlow and Edward Kmett (paper)
-
2014-07-31: possibly: Matthias Körner - High-performance computing in Haskell: the
repa
andaccelerate
libraries (slides) -
2014-08-28: Simon Meier - How to compile Haskell to JavaScript (screencast, blaze-react)
-
2014-09-25: Bas van Dijk - An overview of concurrent programming in Haskell
-
2015-10-30: Simon Meier - An introduction to the GHC Runtime System
The following libraries were mentioned in the January meetup as something that people would be interested in. Please feel free to volunteer to present one of them.
Drawing using diagrams
, and computing
statistics
.
2013-01-24: Alexander Bernauer - Advanced API design (slides)
2013-03-21: Simon Meier - An Introduction to GHC's Haskell execution model (slides, handout)
2013-04-25: Gergely Risko - Cmdline libraries, intro to TemplateHaskell (slides, handout)
2013-05-30: Mihaly Barasz - Intro to the lens
package.
2013-06-27: Thomas Schilling and Simon Meier - A hands-on introduction to stream fusion. (examples, papers: ICFP 2007 and ICFP 2013; more ICFP 2013 papers )
2013-07-25: Arvin Moezzi - Theorems for free.
2013-08-29: Zurich FP Afternoon (http://www.haskell.org/haskellwiki/ZuriHac2013)
- Simon Marlow - Keynote for the Zurich FP Afternoon
- Thomas Schilling - Lambdachine: a JIT compiler for Haskell
- Gergely Risko - Ceh - power user environments to share (slides)
2013-08-30 - 2013-09-01: ZuriHac 2013 (Yay, register here)
2013-09-26: Maximilien Rzepka, Bas van Dijk: Clojure / Haskell : how to compute with probabilities.
2013-10-31: Simon Meier - A hands-on introduction to Hindley-Milner type inference