type lookuperror

[Gregory Ewing]

Chris Angelico wrote:
> If you're specifying them formally, you're probably coding them. Any
> form sufficiently well-defined for a program to analyze is basically
> code already.

Yes, I think that once a specification language crosses
a certain threshold of complexity, it becomes just as
difficult to debug as a program -- so all you've done
is invent another programming language.

-- 
Greg