https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @t_yano ありありです。 | |
| DB/XMLスキーマから自動生成したソースを使ったりするのとまったく同じノリで、クラスや関数の型から自動生成したコードを使ったりしたいわけでして、実際たとえばC++だと後者のような書き方をするのが日常茶飯事なので、型とはそういうものだと思いたい節がある俺 | |
| なんか自分の中で全然まとまってなくてすみませんが、要は http://twitter.com/kmizu/status/1763350792 こういう http://twitter.com/Cryolite/status/1762955739 こういう | |
| ＆こういう http://twitter.com/kinaba/status/1763766454 のができればなんでもよくて、なんでもよいけど実現の方向性は色々あるなあと思って考えていた諸々がごっちゃになってよくわからなくなっています←いまここ | |
| @ranha とても同意です＞なんか別の単語 http://twitter.com/kinaba/statuses/1385940505 | |
| それでまあ、「メタデータ」 でいいじゃない的な | |
| @yuki_neko それは、（今の）JavaのAnnotationは本質的に言語に含むことができる程度のことしか書けないのでそう見えているだけだと思うなー。 | |
| @yuki_neko http://newspeaklanguage.org/ に搭載されると予告されているPluggable Typeというのに期待しているんですけどなかなかでない… | |
| CLのtype annotationはfunctionが型レベルでもfunctionになってたりすると夢が広がる気がした（あんまり覚えてない | |
| @soutaro 例えば型レの会で紹介した自動でAVLTree#each作るようなのは ・型検査なくても書ける（もちろん正しく動作する保証はないですけど） ・型情報に関するアノテーションがないと（少なくとも僕の腕では）書けない ので、コメントだけだとあれが書けなくて困るという | |
| @naoya_t が東大生になったと聞いて | |
| 「○○な言語が欲しい」という発言は常に「黙って○○な言語をさっさっと作れ自分」に脳内変換しているのですが行動が伴わないので全然ダメですね。zzz | |
| C++に関する必読書の話題が出るたびに Exceptional C++ 一冊で十分だと言い続ける会 | |
| @soutaro そういうのをやりたい人がマイノリティなのはそうだと思うのですが、マイナーである理由のいくらかは、今そういう事ができる言語には漏れなく強制静的型検査がセットでついてくることにあるんじゃないかと思っていて、そこが切り離されてる言語があった方が僕が布教しやすいなーと | |
| @Cryolite 全面戦争が始まる…！ というのは冗談として、うーんと、書籍でも文献でも「面白すぎるから読んどかないと人生損してるよ」的意味での「必読書」はもちろんガンガンいくらでもあげられるんですけど、 | |
| 『「Effec(ry と Mor(ry と Exc(ry と More Ex(ry と (ryle と Effi(ry と C++3rd と D&E と E(ry STL と Mo(ry と C++ Co(ry とを読まないとモグリ」などと10冊も本を読まないと | |
| 使ってはいけない感じのC++という言語は糞だ／そんな難しい言語は使いたくない』という論調を結構見かける気がして悲しいというか「お前は何をいっているんだ(AA略)」な気分になるので | |
| そういう意味での「必読書」は Ex(略 一冊だけだしこれはC++使わないプログラマでもなんでも全人類にとってそういう意味での必読書だし、などと述べているという | |
| まあシャドーボクシング的である | |
| @alohakun 自分が Exceptional C++ 読んだときは、テンプレートなんて一度も使ったことなかったし読んだC++の本はVC++4についてきた入門冊子だけ、だったのでそんなにC++固有の知識は要らないと思っているんですよね。自分としては。 | |
| @alohakun C（ただし他からコピペした部分以外すべてのコードがmainの中）→C++（ただしすべてのコードがMFCのView::OnDrawの中）なコードを書いてた時代が7年くらいで、まともなコード書いたのはそこからで、ExC++読むまで1年半くらい、だったと思う。 | |
| 夕飯ろう | |
| Book-off のタメシ買いセット届いた。青年：tactics、無限の住人、バガボンド、キャプテン翼(Road To 2002)、リヴァイアサン。少女：カードの王様、コスメの魔法、Ｖ・Ｂ・ローズ、グッドモーニング・コール、ホットギミック。だそうだ。 | |
| "少年"は既読と大量にかぶりそうではずしたけど、このくらいなら3/5くらいは外れてくれそうな気がする。 | |
| [SRM] おっし通った。はじめて20位以内になれた気がする！ | |
| [SRM] 2万から1e-12までってdoubleの有効精度越えるのか。12*3+log(16384)=51<53 で数えてたけど実際12*3.3くらいだ。そうか。 |