[id:lethevert:20070607:p7] これだけれど、viewも不要じゃないか？ - と言うのは、viewの定義は view j h = (Pass j, h) でしかないから。 - ついでに、modelを存在型を使ったデータ型を使って、これも引数から消した。

という映画を背中で見ていたのだけれど・・・ 大事なのは、権力と自己保身に走る上層部をどうあやつるかということであって、無料のエスプレッソを100円にすることじゃないだろ！

[id:lethevert:20060216:p1] これの再現パターンがいまひとつ分からないなー。 - 再現した。 Start = f (\a f = f a) ::MyType a b :== a -> (a -> b) -> b f :: (A.d: MyType d Int) -> Int f g = inner where inner = g 1 \a = g (toString a) \a = g (toI…

には、スパムフィルターどころか、メーラのフィルター設定さえ、わけのわからないものらしいということを知った。 gmailつかうといいよ、といっても、メールアドレスが変わるのは・・・と言っていた。転送設定なんてできるわけないわけで。 その人は、１日１…