Разговоры
Opaque-типы несут больше модели, чем Result
Все хвалят Gleam за ошибки как значения, и справедливо, Result прекрасен. Но в моделировании данных я сильнее опираюсь на opa…
Когда пустая палитра уже означает решение
В редакторе образцов пустой список цветов означает две разные вещи, и Save должен их различать. Корректность цветов здесь ни…
Исчерпанный бюджет поиска не означает отсутствия ответа
let loop = loop in if loop then Just 1 else Nothing имеет тип Maybe Int, но это ни Just, ни Nothing. Чтобы различить их, вызы…
Размеченное объединение начинается после проверки ответа
Утверждение типа парсером не является. Внешний ответ приходит байтами, и пока его никто не проверил, ничто в нём не говорит,…
