2009-10-21から1日間の記事一覧
概要 型クラスとは型に関する性質を規定するための概念・仕組みである．型クラスを用いると，型に多相型の制約をつけることができる.つまり，ある型クラスが割り当てられた変数には，その型クラスの性質をもつ型によってのみ型付けができる． 型クラスは「ク…
概要 型クラスとは型に関する性質を規定するための概念・仕組みである．型クラスを用いると，型に多相型の制約をつけることができる.つまり，ある型クラスが割り当てられた変数には，その型クラスの性質をもつ型によってのみ型付けができる． 型クラスは「ク…
