От булевых значений истинности, выразимых при помощи комбинаторов комбинаторной логики, можно перейти к представлению при помощи комбинаторов натуральных чисел - это так называемые нумералы Чёрча. Изучим их.
Подключайтесь к моему ТГ-каналу: t.me/drv_official - на нём не только анонсы видео, но и много всякого другого: обзоры книг и статей, душещипательные истории, приглашения на курсы и т. д.
Курс по функциональному программированию на Udemy: www.udemy.com/course/fp-haskell/
Негізгі бет Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснит
Пікірлер: 3