Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!warwick!mauls From: mauls@warwick.ac.uk (The Chief Slime Monster) Newsgroups: comp.lang.misc Subject: Re: Dynamic typing (part 3) Message-ID: Date: 10 Apr 91 20:29:04 GMT Sender: news@warwick.ac.uk (Network news) Organization: Computing Services, Warwick University, UK Lines: 11 Nntp-Posting-Host: lily In article <8687@skye.cs.ed.ac.uk> nick@lfcs.ed.ac.uk writes: > >(me) - fun map(f, s) = > case s of x :: y => f x :: map(f, y) > | nil => nil; >(ml) > val map = fn : ('a -> 'b) * 'a list -> 'b list > >Do I get a prize? > No, but ML does.