↶ lobby · fable · hijack · chinese_casual · agda / rescript · BA

one fable-low hijack cell

pair agda / rescript envelope chinese_casual ordering BA effort low

response (200 chars)

ReScript 和 Agda 是两个目标完全不同的语言,选择取决于你想做什么：

## ReScript
- **定位**：编译到 JavaScript 的实用型函数式语言（OCaml 血统）
- **适合**：前端开发、React 项目、需要强类型但要快速出活的 Web 应用
- **特点**：
  - 编译速度极快
  - 类型推断好，几乎不用写类型标注
  - 与 JS/React 生态无

neighbors

ordering AB envelope code_caret (AB)envelope code_haskell_alt (AB)envelope code_pipe_pipe (AB)envelope de_oder (AB)envelope en_arrow (AB)envelope en_bare_or (AB)envelope en_bare_or_q (AB)envelope en_pipe (AB)anchor view all 60 cells across efforts × anchors