#3 [全文検索]

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> タブ整理

generic c<g>sg>trong>ag>sg>trong>tch in <g>sg>trong>ag>sg>trong> Mon<g>sg>trong>ag>sg>trong>dIO g>Sg>imple IO Regiong>sg> Eg>xg>i<g>sg>trong>g>sg>tg>sg>trong>ing Recordg>sg> g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHC 6g>.g>4g>.g>2

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHC 6g>.g>8g>.g>2

リリースノートを見ると、GHCi関係の変更が多いようです。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHC 6g>.g>6g>.g><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>

でました。リリースノート。 g>.g>g>.g>g>.g>

■Prelude - <g>sg>trong>ag>sg>trong> <<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong>-like <g>sg>trong>fg>sg>trong>unction<g>sg>trong>ag>sg>trong>l libr<g>sg>trong>ag>sg>trong>ry

Rubyで関数プログラミングっぽく書くためのライブラリ。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHC 6g>.g>6の新ライブラリ

D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g>Byte<g>sg>trong>g>Sg>tg>sg>trong>ring D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g><g>sg>trong>Fg>sg>trong>old<g>sg>trong>ag>sg>trong>ble D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g>g>Sg>equence D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g>Time Networkg>.g>CGI Teg>xg>tg>.g>Regeg>xg> Teg>xg>tg>.g>g>Xg>Html （おそらく他にも色々あるのでしょうが、）このあたりが目新しいところでしょうか。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHCのインストール

手元のDebi<g>sg>trong>ag>sg>trong>nだと、GHC 6g>.g>4g>.g><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>のパッケージはないものの、Generic Linug>xg> <<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>withg>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong> glibc 2g>.g>3を落としてきて、 g>.g>/con<g>sg>trong>fg>sg>trong>igure m<g>sg>trong>ag>sg>trong>ke in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>ll でインストールできます。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Deriving cl<g>sg>trong>ag>sg>trong>ug>sg>e <g>sg>trong>fg>sg>trong>or cl<g>sg>trong>ag>sg>trong>g>sg>g>sg>eg>sg> Type<g>sg>trong>ag>sg>trong>ble <g>sg>trong>ag>sg>trong>nd D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>

Type<g>sg>trong>ag>sg>trong>bleのインスタンスにするために、 d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> g>Xg> g>=g> g>Xg> in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>nce Type<g>sg>trong>ag>sg>trong>ble g>Xg> where typeO<g>sg>trong>fg>sg>trong> _ g>=g> mkTyCon<g>sg>trong>Ag>sg>trong>pp (mkTyCon "g>Xg>") <<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> のようなことをやっていたのですが、 d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> g>Xg> g>=g> g>Xg> deriving Type<g>sg>trong>ag>sg>trong>ble とできるのですね…（-<g>sg>trong>fg>sg>trong>gl<g>sg>trong>ag>sg>trong>g>sg>gow-eg>xg>tg>sg>が必要です）。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Mon<g>sg>trong>ag>sg>trong>d Tr<g>sg>trong>ag>sg>trong>ng>sg><g>sg>trong>fg>sg>trong>ormerg>sg> <g>sg>trong>g>Sg>tg>sg>trong>ep by <g>sg>trong>g>Sg>tg>sg>trong>ep

一つの例をモナドを合成しながら拡張していくという形で説明されているので使い方のチュートリアルとしてはかなり分かりやすいと思います。最後に、モナドの型クラスの方（Mon<g>sg>trong>ag>sg>trong>dRe<g>sg>trong>ag>sg>trong>derとかMon<g>sg>trong>ag>sg>trong>d<g>sg>trong>g>Sg>tg>sg>trong><g>sg>trong>ag>sg>trong>teなど）にも触れているとなお良かったかも。 g>.g>g>.g>g>.g>

■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> <g>sg>trong>Fg>sg>trong>unction<g>sg>trong>ag>sg>trong>l Progr<g>sg>trong>ag>sg>trong>mming <<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>withg>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong> Overlo<g>sg>trong>ag>sg>trong>ding <g>sg>trong>ag>sg>trong>nd Higher-Order Polymorphig>sg>m

あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Typeg>sg> <g>sg>trong>ag>sg>trong>nd Progr<g>sg>trong>ag>sg>trong>mming L<g>sg>trong>ag>sg>trong>ngu<g>sg>trong>ag>sg>trong>geg>sg>があちこちで薦められていますが理解できるんだろうか… g>.g>g>.g>g>.g>