BFPG Monthly Meetup

Haskell: from noob to beginner - Róman Joost

This talk outlines how a beginner taking the CIS 194 (http://www.cis.upenn.edu/%7Ecis194/) course can prepare to use Haskell in real world projects. Take away lessons include pitfalls to avoid, struggles one might face on the transition from learner to practitioner and how to contribute to the Haskell community.

Róman is a software engineer at Red Hat, working on internal tools. His every day language is mainly Python. He has used XMonad (http://xmonad.org/) for 6 years but never grokked how to configure the window manager and it’s components. Until now.

Intended audience: Beginner

A dependently-typed Agda taster - Matt Brecknell

Let's tuck into some term-indexed types!

Part two

We'll show how to build evidence that a certain thing can be found in a list, and how to use this evidence to safely retrieve a different thing from some other suitably-indexed heterogeneous list.

Finally, if we have time, we'll use what we just built to embed the simply-typed lambda calculus.