No Such Blog or Diary
typeclass を使った Haskell プログラムが読めない……
- 2011-06-23 (Thu)
- 一般
同じ式の中に出てきている同じ名前の関数が全く別物であるという点でプログラムが読めない.型を追いかけて行かないと何が起きているのか分からないし,そもそも型推論しないと読めないプログラムって何なのよ……
でだ,typeclass に対して polymorphic な式の評価とか訳が分からなくなってくる.その式につける型アノテーションを変えると全く別の結果が出てくるとか……
で,悩んだ末にようやく悟りが開けた.typeclassの型を指定するってのは式に代入する関数集達を一気に指定するってことなのね.普通は高階関数なアルゴリズムに代入すべき関数を引数として渡すのだけど,typeclass を使った場合には型を介して暗黙にアルゴリズムに関数を引き渡していると.
うーん,これって良いことなのか悪いことなのかいまひとつわからない.特定の性質を満たしているであろう関数達というのを型で静的に確かめておけるのは良いのだけど,一方でわざわざインスタンス宣言しなきゃならないしコードは一見簡潔だけど意味を読み取りにくいし.
とりあえず,アルゴリズムをプログラムする人間の書くコード量が減るという点は理解した.
- Comments: 0
- TrackBack (Close): -
飛鳥山公園の紫陽花
- 2011-06-22 (Wed)
- 一般
今朝,大学に向かう途中で飛鳥山公園東側(正確には北東側か)の歩道(線路脇)のあじさいを見てきた.
王子駅に近い方(つまりは北側)はまだ色が付いていないのが目立つ.来週とかには色づいているのだろうか?
そして駅から遠ざかる方向(南側)は見頃.多少花が痛んできた部分もあり.歩道から眺めると全体が見れないので京浜東北の電車の中から眺めるのがいちばん良いかも知れない.
閑話休題.
色違いのアジサイで文字を書くとかいうのはどこかでやられていたりするのだろうか? アルミの量を変えればどうにかなるよね…… 土が混ざらないように文字の形に土を区切ってやるとか.どうなんだろ?
- Comments: 0
- TrackBack (Close): -
頭に熱がこもるので
- 2011-06-21 (Tue)
- 一般
髪を刈る.でもまだ暑い.冷却効率が足りない.
閑話休題.
小さいころ髪が伸びると風邪をひくという特性を持っていたのだけど,あれは何となく頭で外気温を測ってたために髪が伸びて熱がこもるようになると必要以上に暑いと判断してしまうからだったのではなかろうか,とか考えた.実際どうなんだか知らんけど,とりあえずここんとこ必要以上に暑く感じていた気がする.
- Comments: 0
- TrackBack (Close): -
さて
- 2011-06-20 (Mon)
- 一般
徹夜で明日の発表のスライドが出来上がったのでサッサと皆に投げる.1日前の早朝にスライド送るとか珍しいに違いない.
さて,確認用のプログラムを作るか.
- Comments: 0
- TrackBack (Close): -
何かが降ってきた
- 2011-06-19 (Sun)
- 一般
火曜日の輪講の準備しなきゃなぁとか考えつつ1日悩んでいたのだけど,布団に入ったら何かが降ってきたのでスライド作りに入る.
閑話休題.
アリスと聞くと青い服に金髪なイメージなわけだけど,このイメージはどこからきているのやら.ディズニーってこの設定だっけ?
- Comments: 0
- TrackBack (Close): -
ブラウザのサイズとディスプレイのサイズと
- 2011-06-18 (Sat)
- 一般
開いていたブラウザのサイズ:1087x1154
ディスプレイのサイズ:1920x1200
ディスプレイをWUXGAに変えてからブラウザをフルスクリーンにした記憶がほぼ皆無なのだけど,世間一般にはどうなのだろうか? フルハイビジョン対応のテレビに内蔵されているブラウザとかは常に 1920x1080 なのかね.
横幅の広いディスプレイが増えたからサイトのレイアウト変えたというGIGAZINEの記事を見て疑問に思った次第.
閑話休題.
結局のところ一番メジャーなブラウザのサイズっていくつなんだろう?
- Comments: 0
- TrackBack (Close): -