On 20 February 2012 21:58, Guido Stepken <[email protected]> wrote: > Am 20.02.2012 21:18, schrieb Frank Shearar: > >> On 20 February 2012 19:41, Guido Stepken<[email protected]> wrote: >>> >>> Am 20.02.2012 10:22, schrieb Edgar J. De Cleene: >>> >>> Yesterday in a response to Craig I said have a Cuis with a wiki on top >>> and >>> this .image is 5 mb and run on a “modern” G4 400 mhz PowerMac. >>> >>> That’s is a beauty and the power of Cuis, thanks Juan for your reduced >>> image >>> of 2 mb >>> >>> >>> Looks nice. >>> >>> World menu -> appearance -> set desktop color -> Error >>> >>> What i - never ever - understand is, why - when Smalltalk is a reflective >>> language and there are so mighty tools - like Moose - out there, able to >>> search the whole codebase for possible occurrences of "message not >>> understood"????? >> >> This is just a trivial application of the solution to the Halting >> Problem (left as an exercise for the reader). >> >> Or: if you want to avoid MNU, don't use a dynamically typed language. > > > Thank you, indirectly admitting, that there must be such a tool. ;-) > > Think!
Sure. Given a decent statically typed language you can completely avoid the null problem, at least if you leave out input, which is what Igor's hinting at in his reply to me. And as soon as you allow arbitrary input, you're hosed. That is, you run smack into the entscheidungsproblem. So, no, I was quite explicitly saying that there is provably no such tool. If you're finding a bug, then _report it_. Ideally, _produce a replicable series of steps to expose the bug_. You can program, so _write a test for it_. frank
