one fable-low hijack cell

response (200 chars)

你好！你想了解 Lean 还是 Haskell？或者是想比较两者？我先简单介绍一下：

## Haskell
- **定位**：通用纯函数式编程语言
- **特点**：
  - 惰性求值（lazy evaluation）
  - 强大的类型系统（类型类、高阶类型）
  - Monad 处理副作用
  - 成熟的生态系统（GHC、Cabal/Stack、Hackage）
- **适用场景**：编译器

neighbors