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

Raffael Cavallaro

2007-07-30, 7:08 pm

On 2007-07-30 01:52:09 -0400, Paul Rubin <http://phr.cx@NOSPAM.invalid> said:

> I don't see what these three links have to do with static vs dynamic
> types in programming languages.

This reply is to you as well as Matthias and Markus.

No one doubts that *after* parsing inputs one can have a statically
typed expression to evaluate. But you still need to do run-time checks
(i.e., the input parsing) and you must work to avoid forcing the users
into a narrow input channel - making them choose only a narrow subset
of possible inputs because that's all your parser and statically type
checked code were designed to handle. And what happens when you wan't
to add more valid input types to a running system?

Sponsored Links