[plt-scheme] Re: polymorphism of primitive types

From: Yoav Goldberg (yoav.goldberg at gmail.com)
Date: Tue Oct 18 13:40:30 EDT 2005

Ah!

(module foo mzscheme
   (require (lib "1" "srfi")))

doesn't work. I think this can be considered as a bug - that's not
just MY code, but the very first srfi that can't be used inside a
module (without prefixing).

May I suggest an addition of another type of require to the module system?
Something like:
(require (override-current module-name))
?

Yoav




On 10/18/05, David Van Horn <dvanhorn at cs.brandeis.edu> wrote:
> Matthias Felleisen wrote:
> > I was wrong. R5RS says:
> >
> >> library procedure:  (map proc list1 list2 ...)
> >>
> >> The lists must be lists, and proc must be a procedure taking as many
> >> arguments as there are lists and returning a single value. If more
> >> than one list is given, then they must all be the same length.
> >
> > So this means you must redefine map for cyclic lists just as you must
> > for streams.
>
> Or use SRFI 1.
>
>   http://srfi.schemers.org/srfi-1/srfi-1.html#Map
>
> This procedure is extended from its R5RS  specification to allow the
> arguments to be of unequal length; it terminates when the shortest list
> runs out.
>
> At least one of the argument lists must be finite:
>
> (map + '(3 1 4 1) (circular-list 1 0)) => (4 1 5 1)
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.