Functional - Re: shootout: implementing an interpreter for a simple procedural language Minim

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Re: shootout: implementing an interpreter for a simple procedural language Minim

Paul Rubin

2007-07-30, 4:14 am

Matthias Blume <find@my.address.elsewhere> writes:
> I, for one, think that research in static typing is exactly the
> /right/ effort. In my experience (and I do have experience with both
> paradigms), I find it easier and faster to perform "exploratory"
> programming with a static type system to help me along.

See for example this paper about using Haskell's type system to figure
out how MapReduce can work: http://www.cs.vu.nl/~ralf/MapReduce/

Sponsored Links