братва а если перевернутую лямбду нарисовать она будет иметь такую же силу как и обычная?
У.
нет, у тебя типы перевернутся и перестанет Хиндли-Милнера работать
сила лямбды активируйся
ламбада_исчисление.тхт
У.
нет, у тебя типы перевернутся и перестанет Хиндли-Милнера работать
сила лямбды активируйся
ламбада_исчисление.тхт