[plt-scheme] How to make the following code more clear?

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Mon Oct 13 15:23:55 EDT 2008

> #lang typed-scheme
> [...]
> (: largest ((cons α (Listof α)) -> α))
> ;; pick the largest value from the list
> (define (largest lst)
>   (foldr max (car lst) (cdr lst)))

any reason why you used (cons a (Listof a)) instead of simply (Listof  
a) in the type signature of largest?

-- Éric

Posted on the users mailing list.