カインド (型理論)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/04 23:59 UTC 版)
数理論理学や計算機科学の型理論として知られる分野において、カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型である。カインドシステムは本質的には、基本型というで表記され「型」と呼ばれる型を持っている「一階上の」単純型付きラムダ計算で、基本型とは型パラメータを必要としない任意のデータ型のカインドである。
- 1 カインド (型理論)とは
- 2 カインド (型理論)の概要
- 3 カインド推論
- 4 関連項目
「カインド (型理論)」の例文・使い方・用例・文例
- カインド (型理論)のページへのリンク