testing and types [was Re: [plt-scheme] Scheme Hackathon at ICFP 2009?]

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Fri Oct 17 11:17:45 EDT 2008

Matthias Felleisen wrote:
> understand, capture your understanding in unit tests, assign types, run 
> type checker, inspect surprises.

It's unfortunate, at least the last time I checked, check-expect and 
Typed Scheme don't play together.


Posted on the users mailing list.