На любом пути есть яма в яме в яме в яме, то есть бесконечная рекурсия ям, поэтому, если ты упадешь в одну, ты превратишься в рекурсию собственного падения.

Агда поддерживает миксфиксные операторы — то есть, операторы с любым числом аргументов (а не только унарные и бинарные) и с аргументами в произвольных местах.Имена переменных (и других идентификаторов) могут содержать практически произвольные символы, кроме пробела.

Приятно было увидеть слово "рекурсия" )

2 комментария

Похожие цитаты

Последние комментарии

Цитаты известных людей

Актуально

Популярные сегодня категории

Топ участников