2012-09-18 15:52:21 -07:00
|
|
|
#[legacy_modes];
|
|
|
|
|
2012-07-03 16:11:00 -07:00
|
|
|
fn fix_help<A, B>(f: extern fn(fn@(A) -> B, A) -> B, x: A) -> B {
|
2012-08-01 17:30:05 -07:00
|
|
|
return f({|a|fix_help(f, a)}, x);
|
2011-07-08 14:23:24 -05:00
|
|
|
}
|
|
|
|
|
2012-07-03 16:11:00 -07:00
|
|
|
fn fix<A, B>(f: extern fn(fn@(A) -> B, A) -> B) -> fn@(A) -> B {
|
2012-08-01 17:30:05 -07:00
|
|
|
return {|a|fix_help(f, a)};
|
2011-07-08 14:23:24 -05:00
|
|
|
}
|
|
|
|
|
2011-10-18 15:07:40 -07:00
|
|
|
fn fact_(f: fn@(&&int) -> int, &&n: int) -> int {
|
2011-07-08 14:23:24 -05:00
|
|
|
// fun fact 0 = 1
|
2012-08-01 17:30:05 -07:00
|
|
|
return if n == 0 { 1 } else { n * f(n - 1) };
|
2011-07-08 14:23:24 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2011-09-16 14:35:39 +02:00
|
|
|
let fact = fix(fact_);
|
2011-07-27 14:19:39 +02:00
|
|
|
assert (fact(5) == 120);
|
|
|
|
assert (fact(2) == 2);
|
2011-08-12 06:37:25 -07:00
|
|
|
}
|