Python from Wise Guy's Viewpoint

[Jay O'Connor]

On Fri, 24 Oct 2003 19:29:56 -0700, Jay O'Connor wrote:

> 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

Ooops...
 

-- 
Jay O'Connor

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