[plt-scheme] Typed-Scheme and car

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Sun Apr 5 17:48:49 EDT 2009

On Sun, Apr 5, 2009 at 8:44 PM, Sam TH <samth at ccs.neu.edu> wrote:
> On Sun, Apr 5, 2009 at 2:51 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> What's the major difference between haskell and typed-scheme in this case?
> Haskell doesn't have subtyping, so the type inference problem is
> totally different there.

I see... thank you very much for clearing it up.

> --
> sam th
> samth at ccs.neu.edu

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

Posted on the users mailing list.