[plt-scheme] Typed Scheme and Contracts

From: Grant Rettke (grettke at acm.org)
Date: Sun Mar 22 09:56:15 EDT 2009

Is it "normal" to use Typed Scheme with Contracts?

An example would be to define a function that takes in a list of
numbers and outputs a list of numbers, and the length of both should
be the same, and always greater than 1.

Posted on the users mailing list.