factal https://blog.hatena.ne.jp/factal/ うおっ https://factal.hatenadiary.org/ プログラミング Haskell 自分が疑問に思ったり、理解できなかったところを埋めるために書いてたのが、いつのまにか本のコピペになってたので軌道修正したい。 型コンストラクタと値コンストラクタ 3次元ベクトル型 Vector data Vector a = Vector a a a deriving (Show) の、 Vector a が型コンストラクタ。 Vector a a a が値コンストラクタ。 型を書くべきところ（関数の型シグネチャとか）では型コンストラクタを書き、値が必要になるところ（変数へのバインディング、関数定義・呼び出しとか）では値コンストラクタを書く。 ここの Vector は、1つの型の値しか取れなく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffactal.hatenadiary.org%2Fentry%2F20120709%2F1341844645" title="すごいHaskell七章後半（7.4〜7.6まで） - うおっ" 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 2012-07-09 23:37:25 rich https://factal.hatenadiary.org/entry/20120709/1341844645 1.0 100%