[plt-scheme] Typed Scheme and Contracts

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Sun Mar 22 10:03:13 EDT 2009

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.


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

Posted on the users mailing list.