blob: c1900358f9abcc0f13a1995c2f54573640775e78 (
plain)
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
143
|
--# -path=.:../abstract:../common:../../prelude
concrete NumeralRus of Numeral = CatRus ** open ResRus in {
flags coding=utf8 ;
-- Toiska, 13/8/2000, AR with Arto Mustajoki.
lincat Digit = {s : DForm => Gender => Str ; size : Size} ;
lincat Sub10 = {s : Place => DForm => Gender => Str ; size : Size} ;
lincat Sub100 = {s : Place => Gender => Str ; size : Size} ;
lincat Sub1000 = {s : Place => Gender => Str ; size : Size} ;
lincat Sub1000000 = {s : Gender => Str} ;
lin num x = {s = table{ _ => x.s } ; n = Pl}; ---- n TODO ; Size? AR 18/12/2007
lin n2 =
{s = table {{unit} => table {{Fem} => "две" ; _ => "два"} ;
{teen} => gg "двенадцать" ;
{ten} => gg "двадцать" ;
{hund} => gg "двести"} ;
size = sgg} ;
lin n3 =
{s = table {{unit} => gg "три" ;
{teen} => gg "тринадцать" ;
{ten} => gg "тридцать" ;
{hund} => gg "триста"} ;
size = sgg} ;
lin n4 =
{s = table {{unit} => gg "четыре" ;
{teen} => gg "четырнадцать" ;
{ten} => gg "сорок" ;
{hund} => gg "четыреста"} ;
size = sgg} ;
lin n5 =
{s = table {{unit} => gg "пять" ;
{teen} => gg "пятнадцать" ;
{ten} => gg "пятьдесят" ;
{hund} => gg "пятьсот"} ;
size = plg} ;
lin n6 =
{s = table {{unit} => gg "шесть" ;
{teen} => gg "шестнадцать" ;
{ten} => gg "шестьдесят" ;
{hund} => gg "шестьсот"} ;
size = plg} ;
lin n7 =
{s = table {{unit} => gg "семь" ;
{teen} => gg "семнадцать" ;
{ten} => gg "семьдесят" ;
{hund} => gg "семьсот"} ;
size = plg} ;
lin n8 =
{s = table {{unit} => gg "восемь" ;
{teen} => gg "восемнадцать" ;
{ten} => gg "восемьдесят" ;
{hund} => gg "восемьсот"} ;
size = plg} ;
lin n9 =
{s = table {{unit} => gg "девять" ;
{teen} => gg "девятнадцать" ;
{ten} => gg "девяносто" ;
{hund} => gg "девятьсот"} ;
size = plg} ;
lin pot01 =
{s = table {{attr} => table {{hund} => gg "сто" ; _ => gg []} ;
_ => table {{hund} => gg "сто" ;
_ => table {{Masc} => "один" ; {Fem} => "одна" ; _ => "одно"}}} ;
size = nom} ;
lin pot0 d =
{s = table {_ => d.s} ; size = d.size} ;
lin pot110 =
{s = table {_ => gg "десяти"} ; size = plg} ;
-- {s = table {_ => gg "десять"} ; size = plg} ;
lin pot111 =
{s = table {_ => gg "одиннадцать"} ; size = plg} ; --- 11
lin pot1to19 d =
{s = table {_ => d.s ! teen} ; size = plg} ;
lin pot0as1 n =
{s = table {p => n.s ! p ! unit} ; size = n.size} ;
lin pot1 d =
{s = table {_ => d.s ! ten} ; size = plg} ; ---
lin pot1plus d e =
{s = table {_ =>
table {g => d.s ! ten ! g ++ e.s ! indep ! unit ! g}} ; size = e.size} ;
lin pot1as2 n =
{s = n.s ; size = n.size} ;
lin pot2 d =
{s = table {p => d.s ! p ! hund} ; size = plg} ;
lin pot2plus d e =
{s = table {p => table {g => d.s ! p ! hund ! g ++ e.s ! indep ! g}} ; size = e.size} ;
lin pot2as3 n =
{s = n.s ! indep} ;
lin pot3 n =
{s = gg (n.s ! attr ! Fem ++ mille ! n.size)} ;
lin pot3plus n m =
{s = table {g => n.s ! attr ! Fem ++ mille ! n.size ++ m.s ! indep ! g}} ;
--- TODO
--- raz/odin
-- numerals as sequences of digits
lincat
Dig = TDigit ;
lin
IDig d = {s = d.s ; n = d.n} ;
IIDig d i = {
s = d.s ++ i.s ;
n = Pl
} ;
D_0 = mkDig "0" ;
D_1 = mk3Dig "1" "1" Sg ; ----
D_2 = mkDig "2" ;
D_3 = mkDig "3" ;
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 = c ; ---- gender
n = n
} ;
TDigit = {
n : Number ;
s : Str
} ;
}
|
