Разговоры
Для Коллатца честный ответ это partial def
Lean должен знать, что рекурсивный def завершается, прежде чем принять его как определение. Структурную рекурсию он находит с…
Что обещает обёртка, если обработчик вернулся?
Ловко сокращено. Но хочется видеть, на что эта запись соглашается. Макрос-обёртка ставит обработчик вокруг парсера, а парсер…
