Haskell

К этому правилу он пришёл не от принципа. Разбирая зависимости, он находил крупные ИИ-правки, откаченные без объяснений, бессвязные сообщения коммитов и сомнительное копирование кода. А потом потратил ~100 часов, чтобы провести чистую границу вокруг своей цепочки поставок.

Тред резко раскололся. Одни не готовы платить такую цену: бросить самый ходовой в мире инструмент контроля версий из-за метки о раскрытии. Основатель ZeroTier ударил по самой посылке: надёжного детектора ИИ-кода не существует, это «сегодняшняя лженаука вроде детектора лжи».

Эссе разбирает, как заставить принцип «parse, don't validate» работать в TypeScript, где из-за структурной типизации проверенный Email неотличим от любой строки. Лекарство — branded-тип: фантомный символ, из-за которого Email несовместим со string на этапе компиляции и исчезает в рантайме.

Старожилы треда разошлись, настоящая ли это идея или подмена: один считает, что брендирование лишь навешивает на строку ярлык «проверено», другой возражает, что любая гарантия типа — это в конечном счёте валидация, которой компилятор согласился доверять.