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

Rainer Joswig

2007-07-30, 4:14 am

In article <7x7ioi8mh8.fsf@ruckus.brouhaha.com>,
Paul Rubin <http://phr.cx@NOSPAM.invalid> wrote:

> Raffael Cavallaro <raffaelcavallaro@pas-d'espam-s'il-vous-plait-mac.com> writes:
>
> The nature of the inputs and outputs is determined by the hardware:
> keyboard inputs, mouse clicks, network connections, etc. These can
> all be described by static types.

Say my program simplifies arithmetic expressions. It takes
as one input a bunch of rules. How does the type system
express anything interesting about these rules beyond that
these rules have a certain structure or are a bunch
of characters?

These more interesting things can't be even stated
inside the program with types.

--
http://lispm.dyndns.org

Sponsored Links