haskell-jp / random #102 at 2023-04-05 13:51:52 +0900

最近Idrisにハマっちゃってる人です。そこで、Haskellerのみなさんにお聞きしてみたいんですが、みなさんはIdrisについてどう思います？型システムについてでも、あるいはML系の構文をしてる１プログラミング言語としてでも。（関数型ファンな人やプロフェッショナルな方々の視点や感想を聞いてみたくて）（Haskell以外の言語の話題はご迷惑でしたらすみません……）

最近のIdrisは知りませんが、私がマニュアルを一通り読んだときは、Haskellerの夢を詰め込んだ言語だなぁって思いました。

もしよかったら、具体的にどんなところが夢だと思われたのか聞いてみたいです :pray:

個人的な感想ですが。
型レベルで何かするにはHaskellよりIdrisの方がとっつきやすそうと思いました。
一方、derivingがない等、実用的につらそうなところがいくつかありそうな印象は受けました。将来的に解決されるといいんですが。。。

依存型はもちろんのこと、 do の中の ! を使えば変数に代入しなくても m a の m を剥がせたり、他にもみんながほしがってたよなこの機能、って思うのが大体入ってました。何年も前なんでちょっと忘れてしまいましたが...

Idris2ならderiving相当の機能も実装されています
https://github.com/idris-lang/Idris2/blob/4cd38a8c5dd7dc801360e7b312e9cbe8c76c287a/tests/base/deriving_show/DeriveShow.idr#L24-L25

（κeenさんだ。。。！いつもTwitterやブログで情報をお世話になってる方から返信がついてミーハーな興奮感情が）（Packのご紹介の記事のお陰で簡単にWSLにIdris2環境を構築できましたありがとうございます）（本題に関係ないコメントでごめんなさい……！）