Re: Contracts (feature request)

For me contracts are one of the ``potentially very interesting, but more research is needed'' areas. 
I think this has great promise, in particular in the form of hybrid type checking (see Flanagan's paper at POPL 2006). But there remain a lot of details to be worked out.

Cheers

 -- Martin