トップ «前の日記(2007-07-28) 最新 次の日記(2007-07-31)» 月表示 編集

日々の流転


2007-07-29 [長年日記]

λ.Finger Trees: A Simple General-purpose Data Structure” by Ralf Hinze and Ross Paterson

を読んだ。

こないだの ICFP Programming Contest で使った Data.Sequence の実装に使われているデータ構造が Finger Tree 。コンテスト終了後に某氏に「Finger Tree って知ってる? 純粋関数型雑記帳の田中さんはそれ使って実装したらしいよ」みたいな事を聞かれて、「へー、そんなデータ構造があるんだー」とか思ったのだけど、実は知らずに自分も使っていたという(笑

データ構造自体も面白いが、Measured クラスが面白い。

しかし、こういうnewtypeの使われ方を見ていると、HaskellにもMLのfunctorが欲しくなるね。Wearing the hair shirt: a retrospective on Haskell には、型クラス等を用いるHaskellのアプローチと比較して MLの functor は「High power, but poor power/cost ratio」だと書いてあったけどさ。

λ. 参議院選挙

投票に行ってきた。 私も小熊さんと同じ意見だったので、比例は佐藤正久元一等陸佐に投票。 選挙区の方は少し悩んだけど消去法で投票。

本日のツッコミ(全2件) [ツッコミを入れる]
ψ cut-sea (2007-08-01 15:06)

まだ前編の半分のところだけどおもしろい。> animation for concept

ψ さかい (2007-08-03 01:46)

いーですよねー。<br>これ再放送すればいいのになぁ。