https://twitter.com/kinaba のログ (twilog の方が便利です。)
http://twitter.com/kmizu/status/1355329511 「メルアドチェックしたい→ググる→コピペ」の方が「チェックしたい→ググる→ライブラリ見つけてインストール」の8億7000万倍楽なことを考えると、コピペしたらインストールになるpkgシステムが必要 | |
て、思いつくまま割と適当に言ってみただけなので特に意味はないです | |
4月からの住処を決めてきた | |
@finalfusion あー、お金の出所はもうちょびっと前に決まっていました。今日は純粋に衣食住の住が。ありがとうございます。 | |
http://www.kmonos.net/wlog/sub/sfn.png これは未だに出るのかー | |
差分リストの考え方を理解することで、MLの型システム上で自然数の加算ができるようになる ( PDF: http://www.kb.ecei.tohoku.ac.jp/ml2008/slides/lindley.pdf ) といった御利益があります | |
rectypes 使ってもっと素直にできないかなと考えようとして全然考えてない。それ以前に再帰型が素直かどうかは知らない | |
型検査のために使われる型と、型レベル計算に使われる素材としての型は役割としてはもうほとんど直交していると思っているので、そこは独立して価値があると思うんですが、 | |
もっと一般に言語内DSLのエラーメッセージをどうするべきかというのは本当に重大な問題だと思う | |
Boost.Proto ベースのライブラリというか Xpressive はたまに上手く static_assert がハマってすごく的確なエラーメッセージを出してくれるので、そのたびにこのレベルのメッセージが全てのエラーで出たらどれだけ楽なことか…というのを思い返します | |
Chrome で http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=4-274-20211-9 を見られないのはなんでだろう | |
@heppoko_maid マジすか。こっちの設定の問題かなあ… "エラー 320 (net::ERR_INVALID_RESPONSE): 不明なエラーです。" | |
@heppoko_maid うちは 1.0.154.48 だた。バージョンの問題ならそのうち1系でも直るかなあ | |
@cocoa_ruto try A finally B catch C が A->C->B の順に実行されるというのはわかりにくかないでしょうか。"順番"を正常処理かそうでないかの区別に関連づけるのは結構無理があるような気がします | |
と思ったがD言語のscope(exit)はまさにその順番だけどわかりやすかった。 | |
違うか。あれ、混乱している | |
@cocoa_ruto なるほど。try A finally B catch C の順序を A→B→C にするなら確かにそれは良さそう。 | |
今日も順調に論文が一行も進まなかったけどあしたから本気出す…出す…出す… |