2
参照要求:型システムに適用されるカテゴリ理論
プログラミング言語理論を真に理解するために、カテゴリー理論をどのように学ばなければならないかについて、私は聞き続けています。これまでのところ、カテゴリーの領域に足を踏み入れることなく、かなりのPLを学びました。しかし、私は自分が行方不明になっていたものを見るために飛躍する時だと思った。 残念ながら、私が見つけることのできるソースはどれも、型システムやプログラミングに接続しているようには見えません。彼らはそれがコンピューター科学者のためのカテゴリー理論への入門であると言うが、それから一般的な抽象的なナンセンス(私はこれを愛情を込めて言う)に変わります。 私の質問は実際には2つあると思います: カテゴリー理論はPLの「深い概念」を理解するために不可欠ですか? 型システムとプログラミングへの実用的なアプリケーションの観点からカテゴリー理論を説明するソースは何ですか? これまでのところ、私が得た最も遠いのは、ファンクターの漠然とした概念です(私が知る限り、これはMLのファンクターとは関係がないようです)。カテゴリ理論的な観点からモナドを理解するために頭の中に留めておかなければならない抽象化を恐れています。