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-31, 7:07 pm

Raffael Cavallaro <raffaelcavallaro@pas-d'espam-s'il-vous-plait-mac.com> writes:
> This is just the reductio ad absurdum union type case of
> big-bag-of-bits, not a static type - it doesn't allow static analysis
> at compile time because you must check what's in the bag-o-bits at
> runtime, and you can't possibly know what to check for at compile time
> if your application evolves to include *new* types while it's running.

Just like my office-mate doesn't grow new arms, legs, or heads while
she's coding, the application we're working on doesn't evolve new
types while it's running. One could of course imagine science-fiction
scenarios in which both of the above happen, but plenty of things
would then be a lot different in both cases. We get by the way things
are.

Sponsored Links