zecl https://blog.hatena.ne.jp/zecl/ Bug Catharsis https://zecl.hatenablog.com/ プログラミング Haskell 静的型チェックHaskellにも、Javaや.NETと同じように静的な型チェック(static type checking)がある。 「静的な」というのは、「コンパイル時に」と同じ意味であるから、 Haskellの場合もコンパイル時に、処理系が型のチェックを行ってくれる。 このようにコンパイル時型のチェックを行う言語を静的型付けの言語と呼び、 また、実行時にならないと型がわからない言語を動的型付けの言語という。 型推論型推論とはプログラミング言語の機能の１つで、静的型チェックを持つ言語において、 変数や関数の型を宣言しなくとも、それを導くのに使われた関数の型シグネチャなどから 自動的に型を決定… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzecl.hatenablog.com%2Fentry%2F20080316%2Fp3" title="Haskellのお勉強　その２ - Bug Catharsis" 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 2008-03-16 00:00:02 rich https://zecl.hatenablog.com/entry/20080316/p3 1.0 100%