[plt-scheme] Typed Scheme and Contracts

On Sun, Mar 22, 2009 at 1:56 PM, Grant Rettke <grettke at acm.org> wrote:
> 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.

This is an interesting questions which I have asked myself before and
Grants example is, imo, a perfect and interesting thing to do. If it
is not possible to use typed-scheme/contracts, then it should be. :D

Using typed-scheme for types and contracts for run-time properties
seem like very powerful combination.

Cheers,

Paulo Matos

> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm