Python from Wise Guy's Viewpoint
joconnor at cybermesa.com
Sat Oct 25 04:32:00 CEST 2003
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
>> 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
- Online organizational software for teachers
More information about the Python-list