![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Задачка
Хорошая задачка из Herman Geuvers, Introduction to Type Theory (упражнение 3.17):
Построить лямбда-терм с типом ((α → β) → α) → (α → α → β) → β.
Ответы скринить не буду.
UPD: Имеется в виду просто типизированная лямбда. То есть fix и прочие Y-комбинаторы нам недоступны.
UPD2: Рекурсия ни в каком виде недоступна!
Построить лямбда-терм с типом ((α → β) → α) → (α → α → β) → β.
Ответы скринить не буду.
UPD: Имеется в виду просто типизированная лямбда. То есть fix и прочие Y-комбинаторы нам недоступны.
UPD2: Рекурсия ни в каком виде недоступна!
no subject
no subject