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. |
|