翻訳と辞書
Words near each other
・ カテゴリー5ケーブル
・ カテゴリー6ケーブル
・ カテゴリー7ケーブル
・ カテゴリーF
・ カテゴリーエラー
・ カテゴリーキラー
・ カテゴリーミステイク
・ カテゴリー・エラー
・ カテゴリー・ミステイク
・ カテゴリー理論
カテゴリー理論的関数型プログラミング言語
・ カテゴリー論
・ カテゴリー超級
・ カテゴリー超級 (ツール・ド・フランス)
・ カテゴリー錯誤
・ カテゴリ雑談
・ カテゴリ雑談 (2ちゃんねるカテゴリ)
・ カテゴリ:フリークス
・ カテジナ
・ カテジナ・コヴァロヴァー


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

カテゴリー理論的関数型プログラミング言語 : ウィキペディア日本語版
CPL (圏論プログラミング言語)
CPL (正式名称:Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。
== 詳細 ==
元々定義されているデータ型が存在せず、何らかの関手始双代数あるいは終双代数としてデータ型を定義する。プログラムあるいは関数として、ポイントフリーの形式で記述する。関数の表し方としては射として表すものと冪対象として表すものの二通りがある。元々定義されている関数は恒等関数のみであり、元々定義されている制御構造は関数合成のみである。条件分岐帰納法などはデータ型の定義に付随して定義される。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「CPL (圏論プログラミング言語)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.