Sat Sep 19 10:26:15 CEST 2009


Time to tag some contracts..  I've tried to use typed Scheme, but the
absence of inference makes it tedious.  Also, I'm not quite used to
the degree of precision required for typed programming..  This is
really something to do gradually: from the point you know what you're
doing.  (I wonder, is there something like a Scheme -> ML translator
that lets you use the ML typechecker and inferencer?)

Anyways, I'd like to explore the route:

    untyped -> contracts -> typed-scheme