GF Russian Resource Library

}
pot01 : Sub10 ; -- 1
pot0 : Digit -> Sub10 ; -- d * 1
pot110 : Sub100 ; -- 10
pot111 : Sub100 ; -- 11
pot1to19 : Digit -> Sub100 ; -- 10 + d
pot0as1 : Sub10 -> Sub100 ; -- coercion of 1..9
pot1 : Digit -> Sub100 ; -- d * 10
pot1plus : Digit -> Sub10 -> Sub100 ; -- d * 10 + n
pot1as2 : Sub100 -> Sub1000 ; -- coercion of 1..99
pot2 : Sub10 -> Sub1000 ; -- m * 100
pot2plus : Sub10 -> Sub100 -> Sub1000 ; -- m * 100 + n
pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999
pot3 : Sub1000 -> Sub1000000 ; -- m * 1000
pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n
10.2 Russian Implementation
Russian implementation of Numeral API (concrete syntax for Russian) 1 . Cardinal
numerals only. Cases are not included in the present description.
concrete NumeralRus of Numeral = CatRus ** open ResRus in {
flags coding=utf8 ;
lincat
Digit = {s : DForm => Gender => Str ; size : Size} ;
Sub10 = {s : Place => DForm => Gender => Str ; size : Size} ;
Sub100 = {s : Place => Gender => Str ; size : Size} ;
Sub1000 = {s : Place => Gender => Str ; size : Size} ;
Sub1000000 = {s : Gender => Str} ;
lin
num x = {s = table{ _ => x.s }};
n2 = {s = table {
{unit} => table {
{Fem} => "dve" ;
=> "dva" };
{teen} => gg "dvenadcatь" ;
{ten} => gg "dvadcatь" ;
{hund} => gg "dvesti" };
size = sgg} ;
n3 = {s = table {
{unit} => gg "tri" ;
{teen} => gg "trinadcatь" ;
{ten} => gg "tridcatь" ;
{hund} => gg "trista" };
1 Implemented by Arto Mustajoki and Aarne Ranta.
39