9 Aug
2014
9 Aug
'14
5:23 p.m.
Am 09.08.2014 um 23:12 schrieb Herbert Valerio Riedel:
Modula calls non-negative integers CARDINAL. I like the name. In Haskell there could be a Cardinal type for arbitrary size non-negative integers and Card for machine size integers, although the latter one could be misunderstood as cards used in card games.
Fwiw, I did wonder back then why Wirth chose the term 'cardinal' over e.g. 'natural'.
"Natural" for arbitrary size non-negative integer and "Nat" for machine size natural number would be fine to me, too.
So the type-name 'Word' meaning unsigned fixed-width integral is not going away that soon.
How would you name the arbitrary size natural number type, such that it is consistent with the Integer/Int scheme?