関数型言語

SMLでカリー化入門

参考記事 食べられないほうのカリー化入門 http://qiita.com/KDKTN/items/6a27c0e8efa66b1f7799 カリー化とは カリー化とは、僕も大好きなカレーから...ではなく関数型プログラミングの雄、Haskell Curryさんからとられてます。名前からしておっ、となるよう…

SMLでの例外

まず例外とは 「仕様上値が定義できない場合に発生する状態」 のこと。これはエラーとは違うものであり、例えば0除算などが挙げられる。 - 5 div 0; uncaught exception Div Divっていうのが、0で割ったときの例外の名前となっている。 使い方 exceptionでユ…

【SML】高階関数と匿名関数

高階関数 関数を引数とする関数 関数を返す関数 その前に匿名関数について軽く触れておきます。 匿名関数 名前をつけない関数。λx.M 匿名関数は以下のように使う fn (<パラメータ>) => <式> 例えば、以下のように書けば、定義した関数をそのまま呼び出せる。…

SMLによる関数型言語入門 #2

Standard MLで関数型言語に入門します。 参考サイト M.Hiroi's Home Page / Functional Programming Standard ML について - ウォークスルー Standard ML ML SML/NJインストール。 SML/NJとは対話型のコンパイラです。 Macだとbrewでインストールできたので…

SMLによる 関数型言語入門 #1

言語の種類 まずは言語にはどんな種類があるのかを羅列してみる。 手続き型言語...C, Fortran, Pascal, Basic, MATLAB 非手続き型言語 関数型言語...Lisp, Schema, Scala, Haskell, ML 論理型言語...Prolog オブジェクト指向型言語...Java, C++, Ruby, Javas…