Бнвач, есть функция типа z a = g $ z a. При какой-то итерации она начинает возвращать значение, равное аргументу (например, g $ g $ g a == g $ g a). Как прервать рекурсию на этой итерации?
В общем случае никак, поскольку чтобы сравнить n и n+1 члены ряда, надо посчитать n+2. В частном случае на какой-то итерации g может перестать форсить аргумент.
#IZWDTE/X10
/ @ndtimofeev
/ 2406 дней назад
Но ты наверное хочешь z a = let go v = if v == g v then v else go (g v) in go (g a)
#IZWDTE/3HC
/ @ndtimofeev
/ 2406 дней назад
fix бери
#IZWDTE/S06
/ @l29ah
/ 2406 дней назад
Цоперайт © 2010-2016 @stiletto.