История изменений
Исправление a--, (текущая версия) :
Кстати, в моем предыдущем кейсе ∀x: Just(x).bind(F₅₅₅).bind(F₆₆₆) = Nothing. Я хотел это написать, но поленился сходить за индексами.
Так же и в твоем кейсе ∀x: Just(x).bind⁵⁵⁵(s).bind⁶⁶⁶(s) = Just(x).bind¹²²¹(s) = Nothing если х — натуральные (ты кстати вроде не сказал, какие у тебя х?).
А если целые или вещественные, то ∀x: Just(x).bind(p).bind⁵⁵⁵(s).bind⁶⁶⁶(s) = Nothing
Исправление a--, :
Кстати, в моем предыдущем кейсе ∀x: Just(x).bind(F₅₅₅).bind(F₆₆₆) = Nothing. Я хотел это написать, но поленился сходить за индексами.
Так же и в твоем кейсе ∀x: Just(x).bind⁵⁵⁵(s).bind⁶⁶⁶(s) = Just(x).bind¹²²¹(s) = Nothing если х — натуральные.
А если целые, то ∀x: Just(x).bind(p).bind⁵⁵⁵(s).bind⁶⁶⁶(s) = Nothing
Исправление a--, :
Кстати, в моем предыдущем кейсе ∀x: Just(x).bind(F₅₅₅).bind(F₆₆₆) = Nothing. Я хотел это написать, но поленился сходить за индексами.
Так же и в твоем кейсе ∀x: Just(x).bind⁵⁵⁵(s).bind⁶⁶⁶(s) = Just(x).bind¹²²¹(s) = Nothing если х — натуральные.
Исправление a--, :
Кстати, в моем предыдущем кейсе ∀x: Just(x).bind(F₅₅₅).bind(F₆₆₆) = Nothing. Я хотел это написать, но поленился сходить за индексами.
Так же и в твоем кейсе ∀x: Just(x).bind⁵⁵⁵(p).bind⁶⁶⁶(p) = Just(x).bind¹²²¹(p) = Nothing.
Исходная версия a--, :
Кстати, в моем предыдущем кейсе Just(x).bind(F₅₅₅).bind(F₆₆₆) = Nothing. Я хотел это написать, но поленился сходить за индексами.