What is Expressiveness in a Computer Language
david.nospam.hopwood at blueyonder.co.uk
Sun Jun 25 17:34:12 CEST 2006
David Hopwood wrote:
> Chris F Clark wrote:
>>I'm particularly interested if something unsound (and perhaps
>>ambiguous) could be called a type system.
> Yes, but not a useful one. The situation is the same as with unsound
> formal systems; they still satisfy the definition of a formal system.
I meant "inconsistent formal systems".
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>
More information about the Python-list