黒曜の吹き溜まり

Haskellの資料まとめ

2011-12-07 プログラミング

モナドを勉強するに辺り、やはり進んでいるのはHaskellらしく、調べてるだけでHaskellに関する情報がぼろぼろ出てきたのでその辺をご紹介。

まず、「モナドのすべて」さん。
モナドの基礎についてかなり詳しく書かれています。
Haskellについて知らなくてもなんとなくはわかったので、特にOptionモナドやListモナドを実装する上で参考にさせて頂きました。

ライブラリの拡充と関数型言語のお勉強を兼ねて、モナドっぽいものを実装して見ました。
単純にモナドをOCamlで使いたいだけならMonad拡張を入れる方が手っ取り早いですが、あまり外部ライブラリへの依存性を入れたくないのと、OCamlの記法の中だけでどこまで出来るか試してみたかったので。
ちなみに誤解を避けるため先に断っておきますが、自分はHaskellerではありません。
以下ではモナドに関してHaskellをかなり参考にしていますが、Haskellのモナドに対する勘違いなどが含まれている可能性があります。
ご了承下さい。

擬似中置記法

2011-12-06 プログラミング

OCamlでは、modは特別扱いで中置記法として定義されています。

# (mod);;
- : int -> int -> int = 
# 5 mod 3;;
- : int = 2

たとえばこの別名でremという関数を作りたくても、これを中置記法で定義することは出来ません。

# let (rem) x y = x mod y;;
Error: Syntax error

これは、中置演算子として定義できる文字列が、記号の特定の組み合わせ、もしくは予約された文字列、というふうに決められているからですね。
中置演算子として予約された文字列にはor,mod,land,lor,lxor,lsl,lsr,asrがあります。
(参考：公式マニュアルのinfix-opの項)

不動点と不動点コンビネータ

2011-12-06 プログラミング

ある関数 $f(x)$ について、 $x_0 = f (x_0)$ となる $x_0$ が存在するとき、 $x_0$ を $f$ の不動点といいます。
また、 $x_0$ に十分近い $x$ に対し、列 $x, f(x), f(f(x)), \ldots$ が $x_0$ に収束するとき、 $x_0$ は $f$ の吸引的不動点である、といいます。
(参考:Wikipedia)

吸引的不動点は、値が変化しなくなるまで関数適用を繰り返すだけなので、プログラムで簡単に書くことができます。
以下のfixは初期値xからfの吸引的不動点を求める関数です。
汎用性のため、一致検査関数はequalとして引数で取ります。

let rec fix equal f x =
  let x' = f x in
    if equal x x' then x
    else fix equal f x'

邦文技術書の電子書籍サイトまとめ

2011-12-05 電子書籍

とりあえず調べられた限りで、邦文で書かれた技術書を販売しているサイトをまとめて見ました。
ちなみに、技術書はいつでもリファレンス出来ることを重視してるので、任意の電子書籍リーダーや媒体で読め、また配布終了のリスクなどのないダウンロード形式のサイトのみを取り上げます。
つまり、専用アプリでのみ読める・ストリーミングでのみ読める、といったサイトは、今回対象外としています。
日経BPのなぜシリーズなんかはぜひとも電子書籍で読みたいのですが、PCかiOSからしか閲覧できないのが残念です。
数学ガールもiOSのみですし……
出来れば、ePubやPDF配信がデファクトスタンダードの時代になってほしいものです。

第一級モジュール

2011-12-05 プログラミング

OCamlには、3.12から「第一級モジュール」の機能が加わっているらしいです。
第一級モジュールとは、第一級オブジェクトとしてモジュールが扱える、つまり変数や関数と同じように関数への受け渡しや代入操作が出来るものです。
公式マニュアル7.14 第一級のモジュールに詳しい説明があります。

let多相と値多相

2011-12-04 プログラミング

先日、関数合成を使うと、無駄なletやfunを減らせていいよね、という話をしました。

let (>>) f g x = g (f x)

で、関数合成を多用していると、2引数関数に対しても合成をしたくなる局面が出てきます。
たとえば、compareを元にしてequalを作ろうと思った場合、素直なコードは以下になります。

let equal x y =
  compare x y =

これは、「xとyをcompareして、その値が0と等しいかを検査する」という関数になります。
これをcompareと(=) 0の関数合成で書こうとするとさっきの関数合成関数ではできません。(後述するカリー化とアンカリー化を使えば出来ますが)

Older posts Newer posts