Idris で簡単なゲームを作ってみた - ジンジャー研究室

３日ほど前に、↓の記事を読んで「最近 Idris 熱いのかー」と思ったので入門してみた。 takezoe.hatenablog.com 実は以前から Elm コミュニティのエッジな人が Idris すごいと言ってて気になっていて、ちょうどバージョンも最近 1.0 になったばかりというのもあってタイミングとして良いと思った。 出来たのがこれ。 github.com ■ ■ □ ■ ■ ■ ■ □ □ ■ □ □ ■ □ ■ ■ □ □ □ □ ■ ■ ■ □ ■ 33 ■ ■ □ ■ ■ ■ ■ □ □ ■ □ □ ■ ■ ■ ■ □ ■ ■ ■ ■ ■ ■ ■ ■ 12 ■ ■ ■ ■ ■ ■ □ ■ ■ ■ □ □ □ ■ ■ ■ □ ■ ■ ■ ■ ■ ■ ■ ■ 21 Cleared! Press any key to continue. ライツアウトを知らない人はググってください。

[zyzy]

今の所、Idris自体商業目的に堪えないと公式のドキュメントにも書いてあるので、あんまりこうバリバリやっていく感じで期待すると辛いと思う。入れ子構造の一部変更みたいにHaskellより実用的な部分もあるけど。

[igrep]

そうか1.0出てたのか。いろいろベターHaskellなところが多くて気になってた。