https://twitter.com/kinaba のログ (twilog の方が便利です。)
"Certified Programming with Dependent Types" 読み終わった。これは良い本だなあ。Coqの使い方をあなぷるとかで一通りわかったら読んでみると、とても理解が広がると思う。C++でいうところのEffective C++的な位置づけだ。 | |
(EffectiveC++というのは、あれは僕は「今」読む本としては全く評価してないけど、20年近く前に集積できる知識をきっちりまとめ尽くしたという点でその当時の最良書だったことは疑うべくもなく、CPDTも20年後には確実に古びてそうだけど「今」の人類の届く範囲で非常に良い雰囲気 | |
そういえばICFPと愉快な仲間達の発表紹介の中で一番Type Inferenceの話への反響が大きかったのですけど、あれ今論文ちょっと見てみたら、前提知識としてMLの型推論はそらで書けるくらいでないと読むのしんどいかも。 | |
@chunjp です。 | |
「僕が考えた最強のパターンマッチを自慢しあう会」とか開くと面白そうな気が急にしてきた。発表者は各自最強のパターンマッチ構文/機能を考えてきて披露する | |
@phoenixstarhiro ぜひ、C++にもっともスムーズに統合できる最強のパターンマッチの仕様を考えて披露して下さい! | |
えっそれは現在パターンマッチができる全ての言語で既にできませんか RT @cocoatomo 構造体の中身の値でもパターンマッチができるんですね. 分かります. RT @kinaba: 「僕が考えた最強のパターンマッチを自慢しあう会」 |