RU

[Перевод] 2. Проектирование с помощью типов: одновариантные типы-объединения

Продолжаем перевод цикла статей Скотта Влащина, посвящённого проектированию программ в языках с развитой системой типов. В этой главе поговорим о том,…

f#функциональное программирование.net
Habr
RU

Объяснение лямбда исчисления через Python

Реализация ключевых конструкций лямбда‑исчисления на Python и объяснение их работы. Подойдёт даже тем, кто не очень знаком с Python. Если хотите понят…

лямбда исчислениеpythonфункциональное программированиекомбинаторырекурсияаппликацияабстракцияредукцияtimeweb_статьи