Daily Archives: 5 November 2012

Bowling on a Tardis

> {-# LANGUAGE DoRec #-} > import Control.Monad.Tardis A few months ago, I released the tardis package. I promised a few blog posts about it, but put it off until now. If you haven’t heard of my "tardis" package yet, … Continue reading

Posted in Uncategorized | 1 Comment

My experience with Typed Racket: the negative parts

My experience with Typed Racket A while ago, I began a project to re-implement Racket’s web server library in Typed Racket (TR) by providing type annotations to the existing code. I began by typing the xml collection library, but after … Continue reading

Posted in Uncategorized | 3 Comments