No Such Blog or Diary

「Haskell で typeclass を使う例を示せ」と言われて考えるも，どこかしら無理が生じるという罠にハマる今日このごろ．

「もらった式の型を文字列で返す」という関数 getTypeName :: a -> String を備えたクラスとかイイんじゃねとか思ったけれど，リストを考えると空リストで悩ましいことに気づいた．要素がないので getTypeName に渡すべき a 型の式がない．ScopedTypeVariables を入れつつ where x = x :: a とすれば a 型の x が使えるようになるのだけど……　ビミョウ．

「何でもかんでもリストに flatten するぜ」な型クラスを考えたら multiple parameters で functional dependencies 使わんとあかんし……

「何でもかんでも和を取るぜ」な型クラスを考えつつ「文字列のときには "one" って書いたら 1 だと思ってほしいな」とか思ったら String = [Char] だから [a] のインスタンス（要素和を取る素直なもの）と被って {-# OVERLAPPABLE #-} とか書かなきゃならなくなるし……　（一番上の例でも生じるけど）

「〇〇というデータ構造」というクラスだと〇〇が理解できないというオチが待ってるので悩ましい．ヒープくらいならなんとかなるかな……

など，とても悩ましい．

久々に講義でしゃべる．疲れた．

だがしかし，昼休み挟んで2限連続って時間割ってのは……　どうしてそうなった？

明日の準備が終わらない．そろそろ 9時間連続稼働だけどまだ終わらんとは面倒くさい．当たり前にやっていることの説明ほど難しいものはなく，「歩き方を説明しろ」と言われても説明に困る感じで説明しにくい．

来週以降の分はそれほど悩まずに済むといいな．

予想よりも風が強い．カバーを掛けたままのバイクが倒れるのは風速何mくらいからだろうか．

心配だけど今更外しにもいけないので安全を祈るのみ（車体にフィットするように括ってあるタイプのカバーだし，ベンチレーションで多少風も抜けるし，そもそも真横から強い風が来れないところなのであんまり心配要らないのだけど）．

酒が抜けるまで諸々の細かいタスクを処理しつつ，日も昇った頃に帰宅．

とりあえず寝た．

閑話休題．

ダイクストラ法の実装をトチる．特別な遷移の部分だけ別に書いてたら最短を取り忘れてた……　アホだ．

東京と福岡からOBがやってくるということで，飲み会．ある意味では謎な集まり．夏休みか？

だがしかし，このタイミングで九州から東京にバイクで移動するというのは悩ましい．やっぱり徳島経由のフェリー（2日間）が雨風・台風を避けられる最も適したルートなのだろうか．陸路だと明日の昼間にしても雨風が怖そう．金があればバイクだけ別便が正しい気もする．