one fable-low hijack cell

response (200 chars)

IdrisとReScript、かなり性格の違う言語ですね。目的によっておすすめが変わります。

## Idris
- **依存型を持つ純粋関数型言語**(Haskell系)
- 型レベルで「長さnのリスト」のような証明・検証ができる
- 定理証明、形式検証、型システムの研究・学習向け
- 実務での採用例は少なく、エコシステムも小さい

## ReScript
- **OCamlベースでJavaSc

neighbors