What is Expressiveness in a Computer Language

David Hopwood 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 mailing list