Name: BFPG Monthly Meetup
Start: 2015-04-14T17:45:00+10:00
End: 2015-04-14T20:45:00+10:00
Location: NICTA Queensland

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.

Ben Kolera

Katie

Nick Partridge

Brisbane Functional Programming Group (BFPG)

Technology

Functional Programming

Programming Languages

Scala

Haskell

Erlang Programming

Computer Programming

OCaml Programming

BFPG Monthly Meetup

NICTA Queensland

Share

Brisbane Functional Programming Group (BFPG)

BFPG Monthly Meetup

Brisbane Functional Programming Group (BFPG)

Details

Members are also interested in