История изменений
Исправление wandrien, (текущая версия) :
И если внимательно почитать стартовый пост и подумать, то оказывается, что от системы типов требуется всего навсего:
(T2) -> T1
(T1, T2) -> T1
что банально есть везде.
Но для этого надо расколдоваться от магии, что a(x)(x)(x)(x) чем-то принципиально отличается от f(f(f(g(x), x), x), x).
Исправление wandrien, :
И если внимательно почитать стартовый пост и подумать, то оказывается, что от системы типов требуется всего навсего:
() -> T1
(T1, T2) -> T1
что банально есть везде.
Но для этого надо расколдоваться от магии, что a(x)(x)(x)(x) чем-то принципиально отличается от f(f(f(f(g(), x), x), x), x).
Исходная версия wandrien, :
И если внимательно почитать стартовый пост и подумать, то оказывается, что от системы типов требуется всего навсего:
(T1, T2) -> T1
что банально есть везде.
Но для этого надо расколдоваться от магии, что a(x)(x)(x)(x) чем-то принципиально отличается от f(f(f(f(g(), x), x), x), x).