one fable-low hijack cell
pair coq / elm
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked elm (second-offered)
· classifierB
· tiernone
response (200 chars)
# Elm 与 Coq 简介对比
这两个语言用途差别很大,我先简单介绍,你可以告诉我具体想了解什么。
## Elm — 前端 Web 开发语言
- **用途**:编写浏览器前端应用,编译为 JavaScript
- **特点**:
- 纯函数式,无运行时异常(no runtime exceptions)
- 友好的编译器错误提示
- 内置 The Elm Architecture
neighbors