prunesquallor at comcast.net prunesquallor at comcast.net
Fri Oct 24 21:18:25 EDT 2003

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

"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?

---

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-list mailing list