-> a
Эта функция, сначала из первого значения типа a делает второе значение типа а, потом первое значение типа a, забывается и испаряется, и уже из полученного второго значения типа а, делается третье значение типа a
Так что-ли?
Нет, из-за скобок совсем другое получилось
Ну так правильно все, вот это осмысление было правильным
Советую посмотреть видео Дениса Москвина про бестиповое лямбда-исчисление, там всё подробно на пальцах объясняется
Обсуждают сегодня