one fable-low hijack cell

response (200 chars)

# Idris vs ReScript

这两门语言定位差异很大，选择取决于你的目标：

## Idris

**定位**：依赖类型（dependent types）研究/学习语言

- 类型可以依赖于值，能在类型层面表达极强的约束（如"长度为 n 的列表"）
- 支持定理证明，类型即命题
- 类 Haskell 语法，但默认严格求值（Idris 2）
- 生态小，工业应用极少

```idris

neighbors