2015-02-02から1日間の記事一覧

こわくない CPL (0) CPLの導入

圏論プログラミング言語 CPL - M59のブログでは、CPLの紹介と、データ型についての考察をしました。ここでは、理屈抜きでCPLで遊ぶための記事を書きます。CPLで実際にプログラムが書けるようになるのが目的です。 CPLのインストール CPLには、Haskellによる…

圏論プログラミング言語 CPL

Hagino’s Categorical Programming Language について紹介します。wikipedia:CPL (圏論プログラミング言語)によれば、 CPL (正式名称:Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり…