Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

Jay O'Connor <joconnor at cybermesa.com> writes:

> 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...

Yeah, my innocent sounding question often hide some nasty pitfalls.