カテゴリー理論的関数型プログラミング言語 Categorical Functional Programming Language.

この論文をさがす

抄録

カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.

収録刊行物

  • コンピュータソフトウェア

    コンピュータソフトウェア 7(1), 16-32

被引用文献:  2件中 1-2件 を表示

各種コード

  • NII論文ID(NAID)
    110003743564
  • NII書誌ID(NCID)
    AN10075819
  • 本文言語コード
    JPN
  • 資料種別
    雑誌論文
  • ISSN
    02896540
  • データ提供元
    CJP引用  NII-ELS 
ページトップへ