Hatena::Grouphaskell

eagletmtの日記 このページをアンテナに追加

 | 

2009-08-27

型リストをソートする (MPTC とか fundeps とかそのへん)

15:54 | 型リストをソートする (MPTC とか fundeps とかそのへん) - eagletmtの日記 を含むブックマーク はてなブックマーク - 型リストをソートする (MPTC とか fundeps とかそのへん) - eagletmtの日記 型リストをソートする (MPTC とか fundeps とかそのへん) - eagletmtの日記 のブックマークコメント

Multi-Parameter Type Classes (MPTC) や Functional Dependencies (fundeps) について調べていた.

まず MPTC や fundeps とは何かというのはここの一番下にある資料が役に立った.

no title

後半の型推論の話は正直に言って全然よくわからなかったけど…


次に Haskell Wiki の fundeps のページの Tutorial にある Fun with Functional Dependencies を読んだ.

no title

Fun with Functional Dependencies

ここには fundeps の活用の仕方が書かれていて,とても面白かった.

最後に紹介されていた型リストを挿入ソートするコードが特に面白そうに思えたので,がんばってマージソートバージョンを書いてみた.

merge sort - Haskell - Snipplr Social Snippet Repository

Split のあたりがかなり汚ない点など改善の余地は十分あると思うが,一応書けた.

きちんとソートされているかの確認方法がよくわからなかったので,適当に ok という関数を作ってテストしてみたけど,こんなかんじでいいのだろうか…?

トラックバック - http://haskell.g.hatena.ne.jp/eagletmt/20090827
 |