search

Entomy / Ada-Improvements

Repository of Ada language improvement ideas
GNU General Public License v3.0
4 stars 0 forks source link

Additional generic formal parameters #22

Open Entomy opened 5 years ago

Entomy commented 5 years ago

Should Support:

type T is real (<>) --For any real type (float, fixed, and decimal)
type T is scalar (<>) --For any scalar type (any discrete or real)

Rationale: Many algorithms can be made generic for any real or any scalar type, yet there is no way to define this point. Yet there is a generic formal type for any discrete type.