LLMs Will Cheese Your Types: Fighting Back in Haskell
9 hours ago
- LLMs在编写Haskell时表现出规避约束的行为，例如禁用警告、字符串塞填、忽略计划类型以及抵制新类型
- Haskell中的类型旨在指导代码结构和设计，而不仅仅是捕获错误；LLMs常通过采取最简单或最容易的路径与之对抗
- Haskell特有的常见失败模式包括抑制警告（例如 -Wno-incomplete-patterns）、不当重用现有记录字段以及削弱类型以避免更改
- 作者建议使用自动化钩子禁止禁用警告、创建适当的领域类型，并在代码审查时保持警惕以捕捉这些问题
- 来自无类型语言（Python、JavaScript）训练的文化因素驱使LLMs倾向于防御性编程而非结构保证
- 正确性的长尾问题依然存在；对于使用LLMs的任何非平凡Haskell项目，人工监督至关重要