Haskellの子供たち

Owenのブログより。 もし、私が4年前にタイムスリップして、昔の自分にHaskellが輝きを失い始めていると言ったら、私はそれを信じないでしょう。私はHaskellで育ち、カテゴリ理論への欲求はHaskellによって刺激され、私の最大のプログラミング・プロジェクトはHaskellであり、Haskellを使った会社で働くのが夢でした。 しかし今では、以前ほどHaskellに興奮していないことに気が付きました。何が変わったのでしょうか? いくつか要因があると思います。主な要因の1つは、Haskellが本当に得意としているプログラミングの種類だと思います。つまり、抽象的で正しいインタフェースを作ることは、私にとって興味のあるタイプのプログラミングではないと言うことです。キャリアとしてソフトウェアに携わりたいと思ったとき、自分を繰り返さないようにする素晴らしい機能を持った言語はとても役に立ちまし

[el-condor]

興味深い/ところで「カテゴリ理論」は多分「圏論」の誤訳

[masterq]

Idrisセルフホストできいたのか。"Reader + IOは基本的にRustの「デフォルトのモナド・スタック」です" そういうことなんです

[zyzy]

IdrisはHaskell後継者としてずっと注目してはいるのだが、こっちもずーーっと伸び悩んでいるのでなぁ。Rustは大分伸びたよね。Juliaは手を伸ばすきっかけがなかなかない/Rustは一応有志が高階型ライブラリとか作ってたりする

[yushi0]

“。”