Викиучебник

Комбинаторы — это просто!: различия между версиями

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 538:
можно сделать следующим образом:
 
pair <math> pair} \equiv B}C}(C}I})</math> BC(CI)
 
Данный комбинатор составляет пару из двух заданных объектов любой
Строка 545:
Эти селекторы можно определить так:
 
head <math>\equiv</math> CI true
<math>\begin{matrix} head} \equiv C}I} true}\\ tail} \equiv C}I} false}\end{matrix}</math>
tail <math>\equiv</math> CI false
Эти комбинаторы «вынимают» первое или второе значение из
переданной им на вход пары. Например, можно доказать, что
выражение:
 
<math> head} pair} <math>xy= x</math>
 
для любого выражения <math>x</math>. Тоже самое можно сказать и о
Источник — https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!