Monad Transformers
Monad Transformers 英語表記: Monad Transformers 概要 モナドトランスフォーマー（Monad Transformers）は、複数の計算効果（副作用）を同時に扱うために使用される、高度 […]
高階型
このカテゴリの用語
Higher-Kinded Types
Higher-Kinded Types 英語表記: Higher-Kinded Types 概要 Higher-Kinded Types（高階型、以下HKT）とは、プログラミング言語の型システムにおいて、型を引数として受 […]
型クラス
型クラス 英語表記: Type Classes 概要 型クラスは、特定の型が満たすべき共通の振る舞い（操作や機能）を定義するための仕組みです。これは、静的型付け言語において、動的型付け言語のような柔軟な多態性（ポリモーフ […]