Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

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