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