https://twitter.com/kinaba のログ (twilog の方が便利です。)
えええ絶対次見るときはねだやしガッパゾーンで終了した報告だと思ってニヤニヤしながら見てたのに!くやしい!じゃなくて、おめでとうございます! http://twitter.com/yowa/status/1520181346 | |
【型レ】 会場への入り方・開場時間ちょっと変更 http://atnd.org/events/451 >各位 | |
500%同意 http://www.kt.rim.or.jp/~kbk/zakkicho/09/zakkicho0904b.html#D20090414-3 | |
定期「関数型言語っぽい機能を取り入れたかったら高階関数もクロージャもパラメタ多相も遅延評価も継続もまったくどうでもいいから、パターンマッチを取り入れるべき」主張タイム。 | |
@chunjp おお、ちょうど今そのURLを張ろうと検索して見つからないなーと困っているところでした(^^; >そういえば昔書いたRB-treeのパターンマッチ | |
「条件分岐と変数束縛を同時に行う」:C++とかのif文内変数宣言、Perlとかの正規表現。「右辺のdeconstructionでなく左辺でのconstructionによる代入」:JavaScriptの分割代入、正規表現もある意味。「変数束縛+多重分岐」:例外のcatch。 | |
全部あるんだから混ぜれば、と思うんだけど、基本的に switch は(gotoほどじゃないけど)悪い物と見なされてるんだよな、たぶん、問題は。 | |
要は "expression problem" なんだけど、switch のような集約の仕方と、クラス毎に仮想関数とかいう分け方と、どちらにも一方にはない separation of concern 的なものが実現できるケースがあるよーという状況を整理するとかするといいのかも | |
つまり、「メインストリームの言語が何故積極的にこの機能(パターンマッチ)を取り込んでいかないか」なんですけど。 | |
「左辺のconstructionによる条件検査」が(正規表現以外に)ないのか。 | |
@wraith13 LINQ がもーちょいデータベース的にちゃんと最適化されるようにすることで Tuple Pattern Based Retrieval 的なものを実現しつつ、OMeta のようなオブジェクト列に対する parsing もできる分岐兼変数束縛もできつつ F# の | |
Active Pattern のようなユーザー定義の Parameterized かつ静的な保証もいろいろできるパターンマッチ構文があるとかっこいいと思うんですよねー(適当言ってる | |
て、ちょっと待っていつの間に TPBR の実装公開されてたの。うっそ今まで全然 Google でひっかからなかったぞ http://rothamel.us/tpbr/ あとで遊ぼう | |
迷宮街クロニクル買うの忘れたっっっっっっっ!!!!!うごごごご | |
[変愚] 酸電火冷毒光闇破(轟)獄因(沌劣) (盲怖)乱痺透(命感消復浮) まで揃った。先進んでみるかー |