Category: online resources

Yet another web overview

I haven’t done a single web overview in 2013. It’s time to fix that since in the last few weeks I came across a couple of interesting online resources that I’d like to share:

  • Fun with type functions (2011) – Simon PJ’s presentation of the tutorial paper with the same title. Covers associated data types and type families (see “Associated Types With Class” for an in-depth presentation) + some stuff found in Data Parallel Haskell (read “Data Parallel Haskell: a status report” for more details). The whole presentation feels like a teaser as it ends quite quickly and skips some really interesting examples found in the paper.
  • Types a la Milner (2012) by Benjamin C. Pierce (he’s the author of the book about types “Types and Programming Languages”). The talk covers a bit of programming languages history, type systems in general (“well-typed programs don’t go wrong”), type inference in the presence of polymorphism and using types to manage security of personal information. I found the type inference and historical parts very interesting.
  • The trouble with types (2013) by Martin Odersky (creator of Scala). Talk covers the role of types in programming, presents the spectrum of static type systems and then focuses on innovations in the type system of Scala.
  • I also found an interesting blog hosted on GitHub. Despite only 10 posts the blog has lot’s of stuff on practical type level programming in Haskell. Highly recommended.

A bunch of Haskell news

A few quick informations:

August web overview

Here’s another quick overview of interesting links I found on the web:

  • I consider design patterns to be one of the most important skill when programming in object-oriented languages. When I started with Haskell I started asking myself what are the design patterns in functional programming? It seems that I’ve found an answer: a blog written by Jeremy Gibbons. While it seems to be inactive for many months now, the good news is that professor Gibbons is preparing a book on Patterns in Functional Programming.
  • Speaking of patterns, here’s a short presentation on Haskell Performance Patterns.
  • A while ago I posted a link to thread on Stack Overflow about stages of learning Haskell. If that’s not enough to measure your progress then “The Evolution of a Haskell Programmer” might be more helpful.
  • An event called “Haskell eXchange” will be held in London on October 10th. There will be talks given by Simon Peyton Jones and Simon Marlow. Here’s more info if you’re interested.
  • In November 2011 id Software released source code of Doom 3. While I’m always interested in such stuff, I find it a bit to difficult to dig into the code on my own. Luckily, there’s a good overview of the source code available. Now it’s much easier to benefit from knowledge and experience of id Software.

Staypressed theme by Themocracy