Вчера неожиданно порадовало красивое решение без всякого анализа N:

a := 1;
b := 1;
for var i := 1 to N do
begin
write(f, a);
c := a + b;
a := b;
b := c;
end;

С легкой руки ulysses4everпро дипломную работу.
Коротко о работе: недокомпилятор модельного языка с перегрузкой функций и шаблонами (без генерации кода).

Язык вроде как императивный, но под влиянием семинара и Пирса функции сделаны как в функциональном языке - они имеют функциональный тип S -> T, и для них допустимо частичное применение. То есть функцию

Sum :: ( Read more... )

Добралась до перегрузки функций (пока с конкретными типами). Думала: «сейчас как забабахаю вывод типов из контекста». Скажем, если есть функции:
    sum :: Int -> Int -> Int
    sum :: Int -> Int -> Double
    sum :: Int -> Int -> Int -> Int
то можно легко понять, что надо брать в
    Double a = sum(3, 4);
    sum(3, 4)(2)
а в
    var a = sum(3, 4) - уже ( Read more... )