[plt-scheme] Re: Are new Schemers supposed to be reading SRFIs?

Or we can use ML (no, not that ML) to find the implementation you probably
want (http://www.cs.berkeley.edu/~bodik/research/prospector.html), for some
measure of 'probably'. But, if we're really talking types, shouldn't that be
all you need? (Djinn,
http://www.haskell.org/pipermail/haskell/2005-December/017055.html)

- Leo


Message: 9
> Date: Mon, 14 May 2007 10:02:45 -0400
> From: Matthias Felleisen <matthias at ccs.neu.edu>
> Subject: Re: [plt-scheme] Are new Schemers supposed to be reading
>         SRFIs?
> To: Geoffrey S.Knauth <geoff at knauth.org>
> Cc: mzscheme Mailing List <plt-scheme at list.cs.brown.edu>
> Message-ID: <007D0C52-08CE-42F1-A289-D9A650777D1B at ccs.neu.edu>
> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed
>
>
> On May 14, 2007, at 7:02 AM, Geoffrey S. Knauth wrote:
>
> > On May 10, 2007, at 15:27, John Clements wrote:
> >> In some ways, this resembles the problems that doctors have; in
> >> order to give the best possible advice, they need to keep up with
> >> all of the most recent findings, while at the same time
> >> discounting somewhat the more recent & unverified one.
> >>
> >> I don't think that CS has yet evolved (or, hitherto, needed to
> >> evolve) a good channel for this kind of dissemination.
> >
> > If there were contracts or machine readable documentation
> > everywhere, we could ask the computer, "Has anyone written code
> > that takes types X Y and produces Z?"  A smart network would find
> > implementations in different languages, rate them, and offer to
> > help convert them into our favorite language.
>
> It turns out that this was my Diploma thesis in 1983. I applied it to
> ADTs, which were popular at the time.
>
> OCAML had something like this in 1996/97. It was based at ENS and
> served via the Web. I don't know whether they still do. You may want
> to ask, though I don't think it took off.
>
> -- Matthias
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20070514/f0ac6824/attachment.html>