文献

J-GLOBAL ID：201202205653121464   整理番号：12A1189860

関数型プログラミング言語Haskellにおけるコモナド理論とその利用

Comonad Theory and its Applications in Functional Programming Language Haskell

著者 (2件)： SU Jindian (Coll. of Computer Sci. and Engineering,South China Univ. of Technol., Guangzhou) ,  YU Shanshan (School of Information Sci. and Technol.,Sun Yet-Sen Univ., Guangzhou)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 38  号： 7  ページ： 144-147,156  発行年： 2011年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 関数型言語Haskellにおけるモナド理論には,コンテキスト依存性計算を記述するいくつかの難点がある。モナドのカテゴリー的二重概念として,コモナド理論は効果的にHaskellの状況依存的計算の記述性能を改善できる。まず第一に,コモナドのカテゴリー的定義と特性,およびHaskellにおけるそれらの実装を与えた。第二に,CoKleisli3重とCoKleisliカテゴリーについて議論して,どう記述にそれらを適用し,コンテキスト依存性計算の推論をするかを実証するためにいくつかの用例を使用した。最終的に,コモナドとモナドの間の分配法則について議論して,効果的計算とコンテキスト依存性計算を併合における利用を示した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *関数プログラミング ,  プログラミング言語 ,  関数型言語 ,  文脈 ,  カテゴリー ,  Haskell
準シソーラス用語： *関数型プログラミング ,  コンテクスト

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 関数型プログラミング ,  言語 ,  Haskell ,  理論