https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @keigoi おおーungrounded typeまでできるんですか！これができるとユニークIDを使いまくれるので型レのいろんなところで夢が広がる…！ | |
| typeEq :: (TypeEq x y HTrue)=>x->y->String typeEq _ _="yes" main=do let (ta,_)=undefined::(a,a) print(typeEq ta ta) はOKで | |
| let ta=undefined::a にするとEqじゃなくなるのか実際GHCの型検査もそういう動きしてるなあ | |
| @keigoi let (ta) = undefined でも単相になりますね。この辺りのlet-polymorphismの規則ってどこを見るといいんでしょうか… | |
| TypeEq の実装、昔も結局よくわからんなーと言いながら終わっていた http://www.kmonos.net/wlog/63.html#_1314060703 | |
| @keigoi なるほど。let ta=undefinedは関数束縛でlet (ta)=undefinedはパターン束縛なのですね。たぶん多相より単相になっていた方が簡単に遊びやすいなーと思ったので色々試してました。ありがとうございます | |
| @wraith13 見て回ってると、どの写真でも積まれてるのでビビってます(^^;。 | |
| ところで今自分は"Exceptional C++"とD&E と"C++Template the complete guide"とMPL本の4冊しかC++の本持ってないので全然絵になるタワー作れないなー、と書こうとして愕然としたんですが僕の本棚にBoost本が無いことが判明 | |
| この4冊の他にあと5, 6冊は実家に残してあるけども。MPL本も持ってくるつもりはなかったんだけど、型レの会に持ってったついでになんとなく。 | |
| @sugarkeys @niha28 実家に（親にプレゼントした分は）あるのですけど、自分で読む用は…大学のときの研究室におきっぱのような気がしてきた…。自分で読み返すときは原稿をgrepして済ませてしまうことが多いので…(^^;;;; |