# Idris 或 Elm? 这两门语言虽然都是函数式语言,但定位差异很大,选择取决于你的目标: ## Elm **适合:构建前端 Web 应用** - 专注于浏览器前端开发,编译为 JavaScript - 著名的"零运行时异常"承诺 - 友好的编译器错误信息(业界标杆) - The Elm Architecture (TEA) 影响了 Redux 等框架 - 学习曲线相对平缓 - 缺点: