lua_benchmark/tests/Lua-Benchmarks/fixpoint-fact.lua


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

-- fixed-point operator
local Z = function (le)
      local a = function (f)
        return le(function (x) return f(f)(x) end)
      end
      return a(a)
    end


-- non-recursive factorial

local F = function (f)
      return function (n)
               if n == 0 then return 1
               else return n*f(n-1) end
             end
    end

local fat = Z(F)

local s = 0
for i = 1, arg[1] or 100 do s = s + fat(i) end
print(s)