1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
concrete NumeralSpa of Numeral = CatSpa **
open CommonRomance, ResRomance, MorphoSpa, Prelude in {
lincat
Digit = {s : DForm => CardOrd => Str} ;
Sub10 = {s : DForm => CardOrd => Str ; n : Number} ;
Sub100 = {s : CardOrd => Str ; n : Number} ;
Sub1000 = {s : CardOrd => Str ; n : Number} ;
Sub1000000 = {s : CardOrd => Str ; n : Number} ;
lin num x = x ;
lin n2 =
mkTal "dos" "doce" "veinte" "doscientos"
"segundo" "duodécimo" "vigésimo" "ducentésimo" ;
lin n3 =
mkTal "tres" "trece" "treinta" "trescientos"
"tercero" "decimotercero" "trigésimo" "tricentesimo" ;
lin n4 =
mkTal "cuatro" "catorce" "cuarenta" "cuatrocientos"
"cuarto" "decimocuarto" "cuadragésimo" "cuadringentesimo" ;
lin n5 =
mkTal "cinco" "quince" "cinquenta" "quinientos"
"quinto" "decimoquinto" "quincuagésimo" "guingentésimo" ;
lin n6 =
mkTal "seis" "dieciséis" "sesenta" "seiscientos"
"sexto" "decimosexto" "sexagésimo" "sexcentesimo" ;
lin n7 =
mkTal "siete" "diecisiéte" "setenta" "setecientos"
"séptimo" "decimoséptimo" "septuagésimo" "septingentesimo" ;
lin n8 =
mkTal "ocho" "dieciocho" "ochenta" "ochocientos"
"octavo" "decimoctavo" "octogésimo" "octingentésimo" ;
lin n9 =
mkTal "nueve" "diecinueve" "noventa" "novecientos"
"noveno" "decimonoveno" "nonagésimo" "noningentésimo" ;
lin pot01 =
let uno = (mkTal "uno" "once" "diez" "ciento" "primero" "undécimo"
"décimo" "centésimo").s in
{s =\\f,g => case <f,g> of {
<ental pred,_> => [] ;
<ental _, NCard Fem> => "una" ;
<hundra False, NCard _> => "cien" ;
<hundra True, NCard Fem> => "ciento" ;
_ => uno ! f ! g
} ;
n = Pl
} ;
lin pot0 d = {s = d.s ; n = Pl} ;
lin pot110 = spl ((mkTal "diez" [] [] [] "decimo" [] [] []).s ! ental indip) ;
lin pot111 = spl ((mkTal "once" [] [] [] "undécimo" [] [] []).s ! ental indip) ;
lin pot1to19 d = spl (d.s ! ton) ;
lin pot0as1 n = {s = n.s ! ental indip ; n = n.n} ;
lin pot1 d = spl (d.s ! tiotal) ;
lin pot1plus d e =
{s = \\g => d.s ! tiotal ! g ++ y_CardOrd g ++ e.s ! ental indip ! g ; n = Pl} ;
lin pot1as2 n = n ;
lin pot2 d = spl (d.s ! hundra False) ;
lin pot2plus d e =
{s = \\g => d.s ! hundra True ! g ++ e.s ! g ; n = Pl} ;
lin pot2as3 n = n ;
lin pot3 n = spl (\\g => n.s ! NCard Masc ++ mil g) ;
lin pot3plus n m = {s = \\g => n.s ! NCard Masc ++ mil g ++ m.s ! g ; n = Pl} ;
oper
mkTal : (x1,_,_,_,_,_,_,x8 : Str) -> {s : DForm => CardOrd => Str} =
\due,dodici,venti,ducento,secondo,dodicesimo,ventesimo,ducentesimo ->
{s = \\d,co => case <d,co> of {
<ental _, NCard _> => due ;
<ental _, NOrd g n> => pronForms (adjSolo secondo) g n ;
<tiotal, NCard _> => venti ;
<tiotal, NOrd g n> => regCard ventesimo g n ;
<ton, NCard _> => venti ;
<ton, NOrd g n> => regCard ventesimo g n ;
<hundra _, NCard Masc> => ducento ;
<hundra _, NCard Fem> => Predef.tk 2 ducento + "as" ;
<hundra _, NOrd g n> => regCard ducentesimo g n
}
} ;
regCard : Str -> Gender -> Number -> Str = \ventesimo ->
pronForms (adjSolo ventesimo) ;
spl : (CardOrd => Str) -> {s : CardOrd => Str ; n : Number} = \s -> {
s = s ;
n = Pl
} ;
mil : CardOrd -> Str = \g ->
(mkTal "mil" [] [] [] "milésimo" [] [] []).s ! ental indip ! g ;
y_CardOrd : CardOrd -> Str = \co -> case co of {
NCard _ => "y" ;
_ => []
} ;
param
DForm = ental Pred | ton | tiotal | hundra Bool ;
Pred = pred | indip ;
-- numerals as sequences of digits
lincat
Dig = TDigit ;
lin
IDig d = d ;
IIDig d i = {
s = \\o => d.s ! NCard Masc ++ i.s ! o ;
n = Pl
} ;
D_0 = mkDig "0" ;
D_1 = mk3Dig "1" "1:o" Sg ; ---- gender
D_2 = mk2Dig "2" "2:o" ;
D_3 = mk2Dig "3" "3:o" ;
D_4 = mkDig "4" ;
D_5 = mkDig "5" ;
D_6 = mkDig "6" ;
D_7 = mkDig "7" ;
D_8 = mkDig "8" ;
D_9 = mkDig "9" ;
oper
mk2Dig : Str -> Str -> TDigit = \c,o -> mk3Dig c o Pl ;
mkDig : Str -> TDigit = \c -> mk2Dig c (c + ":o") ;
mk3Dig : Str -> Str -> Number -> TDigit = \c,o,n -> {
s = table {NCard _ => c ; NOrd _ _ => o} ; ---- gender
n = n
} ;
TDigit = {
n : Number ;
s : CardOrd => Str
} ;
}
|
