takafumi-s https://blog.hatena.ne.jp/takafumi-s/ takafumi blog https://takafumi-s.hatenablog.com/ Haskell 環境 ghc 7.8.3 CentOS7.0 「すごいHaskellたのしく学ぼう！」第07章 メモ この辺で、言葉の定義がよくわからなくなっていたので、まとめてみた。 言葉 説明 例 型変数 関数の明示的な型宣言に使われるどんな型も取り得る事を意味する head :: [a] -> a この「a」の事を型変数とよぶ 型クラス 何らかの振る舞いを定義するインターフェース class Eq a where この「Eq」を型クラスと呼ぶ インスタンス 型クラスが記述する振る舞いを実装したもの instance Eq a where 型aをEqのインスタンスとして実装する 型クラス制約 関数定義の際… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftakafumi-s.hatenablog.com%2Fentry%2F2015%2F09%2F25%2F123335" title="【Haskell】 言葉の定義まとめ（型クラス、型コンストラクタ、値コンストラクタ、型引数など） - takafumi blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-09-25 12:33:35 rich https://takafumi-s.hatenablog.com/entry/2015/09/25/123335 1.0 100%