diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-08-04 18:26:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-08-04 18:26:48 +0000 |
| commit | a9893f45724299e6cc773bbb2fa2cf315fe85206 (patch) | |
| tree | b5c6222b2422a3db7bf4dd676aa4872adf22daf4 /examples/numerals/danish.gf | |
| parent | a401820e3718a936cc926c457d29ec145e189be5 (diff) | |
ported numerals to GF3 and encoded in UTF8; some problematic ones in todo
Diffstat (limited to 'examples/numerals/danish.gf')
| -rw-r--r-- | examples/numerals/danish.gf | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/examples/numerals/danish.gf b/examples/numerals/danish.gf new file mode 100644 index 000000000..3889081ab --- /dev/null +++ b/examples/numerals/danish.gf @@ -0,0 +1,49 @@ +concrete danish of Numerals = { +-- include numerals.Abs.gf ; + +-- AR 12/10/2002 following www.geocities.com/tsca.geo/dansk/dknummer.html + +param DForm = ental | ton | tiotal ; + +lincat Numeral = {s : Str} ; +oper LinDigit = {s : DForm => Str} ; +lincat Digit = LinDigit ; + +lincat Sub10 = {s : DForm => Str} ; +lincat Sub100 = {s : Str} ; +lincat Sub1000 = {s : Str} ; +lincat Sub1000000 = {s : Str} ; + +oper mkTal : Str -> Str -> Str -> LinDigit = + \to, tolv, tyve -> + {s = table {ental => to ; ton => tolv ; tiotal => tyve}} ; +oper regTal : Str -> LinDigit = \fem -> mkTal fem (fem + "ton") (fem + "tio") ; +oper ss : Str -> {s : Str} = \s -> {s = s} ; + +lin num x = x ; + +lin n2 = mkTal "to" "tolv" "tyve" ; +lin n3 = mkTal "tre" "tretten" "tredive" ; +lin n4 = mkTal "fire" "fjorten" "fyrre" ; +lin n5 = mkTal "fem" "femten" "halvtreds" ; +lin n6 = mkTal "seks" "seksten" "tres" ; +lin n7 = mkTal "syv" "sytten" "halvfjerds" ; +lin n8 = mkTal "otte" "atten" "firs" ; +lin n9 = mkTal "ni" "nitten" "halvfems" ; + +lin pot01 = {s = table {f => "en"}} ; --- +lin pot0 d = {s = table {f => d.s ! f}} ; +lin pot110 = ss "ti" ; +lin pot111 = ss "elleve" ; +lin pot1to19 d = ss (d.s ! ton) ; +lin pot0as1 n = ss (n.s ! ental) ; +lin pot1 d = ss (d.s ! tiotal) ; +lin pot1plus d e = ss (e.s ! ental ++ "og" ++ d.s ! tiotal) ; +lin pot1as2 n = n ; +lin pot2 d = ss (d.s ! ental ++ "hundrede") ; +lin pot2plus d e = ss (d.s ! ental ++ "hundrede" ++ "og" ++ e.s) ; +lin pot2as3 n = n ; +lin pot3 n = ss (n.s ++ "tusind") ; +lin pot3plus n m = ss (n.s ++ "tusind" ++ "og" ++ m.s) ; --- + +} |
