#7 - Meetup - Haskell meets Blockchain & Nix Functional package manager

• What we'll do
This will be a very special session as the two talks of the night will be held by two engineers from IOHK the company behind Cardano Blockchain project (https://www.cardano.org). The main programming language being used for Cardano Blockchain development is Haskell. The project is extremely ambitious and seeks to deliver more advanced features than any protocol previously developed. It is the first blockchain platform to evolve out of a scientific philosophy and a research-first driven approach.

Details of the session:

### 18h45 - Nix: functional language package manager - by Domen Kožar

Our member Domen Kožar is a NixOS core developer and advanced beginner in Haskell. He’s the DevOps lead engineer of IOHK and he's working on Cardano blockchain with a huge team of scientists and engineers.

Domen Kožar will give a talk about
Nix - functional language package manager (https://nixos.org/nix/)

We'll look into how functional programming can be applied to software distribution and why it's appealing for real-world applications.

### 19h25 - Applying Haskell on a blockchain project - by Alexandre Baldé
Our member Alexandre Baldé worked as a developer for IOHK. Besides Haskell and F# he is also interested in cryptography, computational number theory and category theory.

During his talk, he's going to tell us a bit more about testing an algebraic specification of hashmaps using Haskell and QuickCheck.

Please submit your talk proposals for more exciting topics related to Functional Programming bliss ;) and related technologies. Stay tuned on twitter @lambdapt

This meetup is sponsored by Pixels Campfire (@pixelscamp) and Yari Labs (@yarilabs).