カテゴリー理論的関数型プログラミング言語
スポンサーリンク
概要
- 論文の詳細を見る
カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.
- 日本ソフトウェア科学会の論文
- 1990-01-16
著者
関連論文
- 情報処理デジタルキャンパス実験クラス (特集 多言語主義の可能性--国民国家を超えて)
- 次世代Web技術 セマンティックWeb--Webに意味情報を与え機械で処理可能に
- カテゴリー理論的関数型プログラミング言語
- エディンバラ報告
- 「セマンティックWeb」入門(2)意味情報の正体に迫る 概念モデルで意味を表現,語いの定義が重要に
- Communicating Sequential Processesの数学モデル(同期の数理)