Re: Numeric Types

Dave Whipp writes:
 > [email protected] wrote:
 > > Dave Whipp writes:
 > >  > 
 > >  > You can rename the types if you want; but properties are a better 
 > >  > representation of constraints than type names: more precise, and more 
 > >  > flexible.
 > >  > 
 > > 
 > > but types *are* properties . 
 > > 
 > > arcadi 
 > 
 > True :-(
 > 
 > But I think my examples somehow withstand that oversight. Parameterized 
 > properties are more expressive than named types.
 > 
 > 

so , I understand, that the whole dilemma is weither to have this
extended types as a module that can be or can be not loaded -- or --
to have them *in* core language 

???

by the way is it possible to export some additional properties from
library ( probably yes , since in perl5 it *is* posible . 

arcadi