Сумма N чисел

[thedeemon]

Описанная ниже функция add принимает натуральное число n и n интов и возвращает сумму этих интов. Т.е.
add 0 == 0
add 1 42 == 42
add 2 33 44 == 77
add 8 2 2 2 2 2 2 2 2 == 16
Вот так она описывается на Идрисе:

sumType : Nat -> Type
sumType Z = Int
sumType (S k) = Int -> sumType k

adder : (n:Nat) -> Int -> sumType n
adder Z acc = acc
adder (S k) acc = \x => adder k (x + acc)

add : (n:Nat) -> sumType n
add Z = 0
add (S k) = adder k 

Можно ли ее еще упростить и обойтись без вспомогательной функции adder? Че-то я торможу.

Comments

[109.livejournal.com]

int Add(params int[] p) { return p.Sum(); }

извините :)

[dima-starosud.livejournal.com]

int add(int n, ...) { /* тут уж сами напишите :-D */ }

[109.livejournal.com]

ни фига, Sum - это стандартная библиотека. но и без Sum ненамного длиннее.

[thedeemon.livejournal.com]

D:

int sum(int[] xs ...) { return xs.reduce!"a + b"; }

[gds.livejournal.com]

проблемы начнутся тогда, когда типы аргументов внезапно будут не совсем одинаковыми.

[109.livejournal.com]

это да. нету типа ISummable, или там INumber, поэтому красиво не получится.

[wizzard]

и ведь не поправишь же, вот что удручает!

monomorphism restriction, впрочем, недалеко ушло...

[thedeemon.livejournal.com]

Список чисел я и тут мог бы передать, это не интересно.

[109.livejournal.com]

нет, params это не список, это как раз, как у тебя - variable number of arguments.

[thedeemon.livejournal.com]

Да, точно, я потом уже заметил.
Но все равно не подходит для менее игрушечной задачи, где типы разные.