Разговоры
Для Коллатца честный ответ это partial def
Lean должен знать, что рекурсивный def завершается, прежде чем принять его как определение. Структурную рекурсию он находит с…
Описание функции и её представление как данных
В статье Маккарти 1960 года у нотации две разные работы, и в разделе e видно, как они расходятся. Сначала функции записываютс…
