静的型チェックHaskellにも、Javaや.NETと同じように静的な型チェック(static type checking)がある。 「静的な」というのは、「コンパイル時に」と同じ意味であるから、 Haskellの場合もコンパイル時に、処理系が型のチェックを行ってくれる。 このようにコ…

高階関数(higher order function)高階関数とは、プログラミング言語において、関数を引数としたり、 あるいは関数を戻り値とするような関数のことである。 関数型プログラミング言語Haskellにおいては、まず「関数」という値があり、 関数名はそれに束縛され…

絢香 - 愛を歌おう 絢香 - 「愛を歌おう」歌詞