What is Expressiveness in a Computer Language

[David Hopwood]

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>