LLMs испортят типы: как противостоять в Haskell

Статья рассматривает влияние генеративных моделей на строгую типизацию в языке Haskell. Автор предлагает методы защиты кода от некорректных предложений ИИ, используя возможности языка. Материал полезен для разработчиков, внедряющих AI-инструменты в функциональное программирование.