examples/coma/fact.coma

   1 module Fact
   2
   3   use int.Int
   4   use int.Fact
   5   use coma.Std
   6
   7   let factorial (n: int) { n >= 0 } (return (m: int) { m = fact n })
   8   = loop {1} {n}
   9     [ loop (r: int) (k: int) =
  10       { 0 <= k <= n }
  11       { r * fact k = fact n }
  12       (! if {k > 0} (-> loop {r * k} {k - 1})
  13                     (-> return {r}) )]
  14
  15   let test (n: int) {} (o (m: int) { m = fact n })
  16   = if {n >= 0 } (-> factorial {n} o)
  17                  (-> halt)
  18 end