Scalaで関数型プログラミングをする#3 圏論を学ぶ(前) | DevelopersIO
※この記事はこれの再構成版です Ⅰ.はじめに 圏論を知りましょう さて、だいぶ前になってしまいましたが、前回の記事で、「関数型プログラミングを知るにはまず圏論から！」といいました。 ※あくまでも私の考えです 私自身圏論についての知識がほぼないのですが、幸いにも圏論に関する初心者向け記事がWEB上にいっぱいあります。 その中でも、「Scalaで圏論入門」という記事は、初心者向けにわかりやすく記述されているので、 これを元に圏論について基本的な理解を深めていければと思います。 本記事は、この「Scalaで圏論入門」を読んだことがある人を対象にします。(理解できてもできなくても)一度読んでおいてください。 なんで圏論を知るべき？ なんで関数型プログラミングを知るのに圏論なんてわけわからんものを知らなければいけないのでしょうか。 この連載の目標(というか自分の目標)の１つとして、「scalazを使
CPL
CPL: An interpreter of Hagino's Categorical Programming Language (CPL). CPL is a functional programming language based on category theory. Data types are declared in a categorical manner by adjunctions. Data types that can be handled include the terminal object, the initial object, the binary product functor, the binary coproduct functor, the exponential functor, the natural number object, the fun
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
