Python from Wise Guy's Viewpoint

[Jay O'Connor]

On Fri, 24 Oct 2003 18:18:25 -0700, prunesquallor wrote:

> "Andreas Rossberg" <rossberg at ps.uni-sb.de> writes:
> 
>> Sorry, but that reply of yours somewhat indicates that you haven't
>> really used modern type systems seriously.
>>
>> All decent type systems allow you to define your own types. You can
>> express any domain-specific abstraction you want in types. Hence the
>> type language gives you additional expressive power wrt the problem
>> domain.
> 
> Cool!  So I can declare `Euclidean rings' as a type an ensure that I
> never pass a non-Euclidean ring to a function?
 

In Ada, you can

-- 
Jay O'Connor

http://www.deskofsolomon.com
 - Online organizational software for teachers