Participants could choose to hack all day long, attend the Haskell beginners course led by Julie Moronuki, join the Glasgow Haskell Compiler (GHC) DevOps track organized by GHC contributors with the goal to bring in new contributors, listen to the Haskell flavoured talks, or socialize and swim in the lake. The event was colocated with C++ standardization committee meetings which offered a unique opportunity for sharing ideas between the two communities.
Here is a short summary of featured talks at ZuriHac.
- Niki Vazou presented Liquid Haskell: Refinement Types for Haskell, a way to enforce critical properties of functions at the type level at compile time.
- Stephen Diehl talked about the state of LLVM bindings for Haskell in Building compilers with llvm-hs.
- Edward Kmett presented ideas for improving the Haskell combinators: Combinators Revisited.
- Gabriel Gonzalez presented an approach to parallelize finite state machines and how to deal with their performance bottlenecks in Fast and parallel state machines.
- Joachim Breitner gave an overview of state-of-the-art inspection testing: A promise checked is a promise kept: Inspection Testing.
- Manuel Chakravarty talked about GHC's development process: Continuous Integration & Testing for GHC.
Video by Hochschule für Technik Rapperswil.
Once again, we broke the attendance record! We’re already preparing for ZuriHac 2019 and hope to keep up this amazing growth. See you next year!
By Ivan Krišto, Software Engineer
