https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 終電おわた | |
| 言語雑談会酔いすぎて何喋ったか覚えてなくてやばいなー | |
| ラムダキューブに関して適当極まりない与太と、僕はBWTとヒープソートと両側探索が好きすぎるという与太をとばした記憶 | |
| ふぁんくしょなるでぃぺんでんしーの型推論といんぷりしっとこんばーじょんの型付けが謎い。 | |
| @finalfusion 今日しぇらーしーさんに呼ばれてそんなあつまりが。 | |
| ブルー/イエローコーダーとレッドの違いは書けるような気がするけど求められてるのはそこじゃねーよなとか。 | |
| まいく"みゅーてっくす"ばろーずさんが凄いという話を聞いた。 | |
| 全部rangeにできたら綺麗だけどきもいインターフェースしか見いだせない | |
| えふしゃーぷはアクティブパターン以外なんかおもしろいの | |
| 型はメタデータです。型検査とかどうでもいい的 | |
| ぴゅありーふぁんくしょるなるでーたすとらくちゃーずは邦訳されるべき | |
| @kmizu 型推論と組み合わさるときに、どの段階では型変数の単一化が起きてどこで暗黙変換になるのかとかそのへんが。 | |
| @chunjp あの辺の概念そのものはたーじゃん発ですよね。さがせばどっかうまい古い訳が転がってないかなあ | |
| ところで四年ぶりくらいに終電おわった柏から実家に歩いて帰ろうとしたら道に迷った疑惑 | |
| ここはどこ | |
| あ、なんか見覚えのある森が。 | |
| えいだ処理系はあたらしいほうがよい | |
| 帰宅 | |
| 風呂った。少し思い出すに大変ひどいな。 | |
| @okagawa 情報ありがとーございます。調べねば | |
| 過去は振り返らずに寝よう | |
| ダイレクトメッセージて貰っても気づかぬなあ。Twitの設定でわかりやすくできるのだろうか。 | |
| というわけで後ほど（今晩くらい）返信します＞某氏 | |
| 裏白駅伝とっくの昔にはじまっとった |