Wednesday, October 19, 2011

Safe Haskell slides from Haskell Implementors Workshop talk

I presented a talk this year at the Haskell Implementors Workshop over in Tokyo. It was a great time, attending some very interesting talks and meeting up with old and new friends in the Haskell and Functional Programming community. My talk was on Safe Haskell, an extension recently added to GHC that I've been working on with David Mazières, Simon Marlow and Simon Peyton Jones. I want to write a blog post about it at some point, but for now here are the slides from the talk:




You can also download the slides in PDF form here.

Friday, October 07, 2011

Stanford Haskell Course

This semester there is an exciting new course being taught at Stanford University, CS 240h: Functional Systems in Haskell. It's being being taught by both David Mazières and Bryan O'Sullivan. I'm TA for the course though so it isn't all sunshine and rainbows.


If having monads described as: A programmable semicolon is more intuitive then talking about how they: generalize closure operators on partially ordered sets to arbitrary categories, this is the course for you! We won't be covering semantics of programming languages. We won't be covering abstract math. We will be covering how to effectively use and understand Haskell as a systems language.


The course home page can be found here and Bryan maintains a Github mirror of all the material here. There are no video recordings of the lecture at this point as we aren't in a room with the facilities unfortunately. If the course is a success and continues in the future we will look to get recordings or maybe something like the Stanford Engineering Everywhere project.