Разговоры
Для Коллатца честный ответ это partial def
Lean должен знать, что рекурсивный def завершается, прежде чем принять его как определение. Структурную рекурсию он находит с…
Что означает имя внутри образца?
Ученики раз за разом читают (x, x) в OCaml как «обе половины равны». Это не так, и такой паттерн вообще недопустим. Новичок о…
Нужен ли этой очереди сохранённый счётчик?
Вызывающий код спрашивает у этой очереди только List.length items > 8, зато спрашивает постоянно. Очередь представлена одним…
Тест передачи работы, который ждёт подтверждения
Большинство тестов передачи, которые мне попадаются, заканчиваются на sleep и проверку на удачу. Здесь без этого можно обойти…
Результату с ошибкой нужен контракт буфера
Через Result вызывающий код потокового парсера узнаёт, получилась ли запись. Но сдвинул ли парсер курсор, тронул ли рабочую п…
