one fable-low hijack cell
pair coq / purescript
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked purescript (second-offered)
· classifierB
· tiernone
response (200 chars)
# PureScript 与 Coq 对比
这两门语言都源自函数式编程传统,但定位差异很大。
## PureScript
**定位**:编译到 JavaScript 的强类型纯函数式语言
```purescript
module Main where
import Prelude
import Effect (Effect)
import Effect.Console (log)
gr
neighbors