CPL (圏論プログラミング言語)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/07 18:00 UTC 版)
CPL (正式名称:Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。
- 1 CPL (圏論プログラミング言語)とは
- 2 CPL (圏論プログラミング言語)の概要
- CPL (圏論プログラミング言語)のページへのリンク