https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #ICDT2013 みてる | |
| @ksknac ひい。（もうすぐ返事書きますちょちょちょっとお待ちをー、とお伝えください） | |
| 実は実際今仕事がなんか忙しいのですが、それはそれとしてメールが遅いのは、まずは確定申告片付けなきゃなあとPCを開いたままやる気が出ず5日くらい過ごしたりまずはDの日のスライド作らなきゃなあと思いながらPCを開いたままやる気が出ず5日くらい過ごしたりしていたせいが主なのでマズい | |
| 自分と同じくらいメール不精な人とやり取りしていると、船便で文通しているみたいな気分になって楽しい | |
| Androidのスヌーズ機能は"止めてから"10分後に再度鳴らす、なのかな。10回くらい止めて寝てを繰り返していると、鳴る時間の分の桁に止めるのにかかった時間が蓄積されていって測定できるようになっている | |
| .@kmizu さんのカリー化の話 https://t.co/oLcLjgLXbT 読んでるのだけど静的型は関係ないのではないかなあ。これはC++でもDでも死ぬほど見かけるので。(この辺は"正しい"静的型でないという原理主義者もいらっしゃるとは思いますがこの文脈では関係ない) | |
| いわゆる"関数型"言語だと関数を返す関数というのは割と親しみ深い一方で、そうでもない言語だとそのようなものは部分適用が99%なので、curry化とその適用を分けて考えるのに慣れてない、ということじゃないかと思うので、"H略O略S略のような"関数型"言語を用いた解説を"なら妥当かも | |
| で、「違う」と伝えたあとに来る反応の7割くらいが「でも、部分適用以外にcurryって使わないよね」なので、たぶん根本的な問題はそこで、「違うんです！」と単に言うだけじゃなくて、カリー化という概念に部分適用と切り離してどういう面白ポイントがあるかの記事を書かないと効果ないと思う | |
| @fkm 言われてみれば確かに。鳴らし始めた瞬間にスヌーズタイマーセットして解除されたら止めるみたいなコードはあんまり書かない気がしますね。なるほど | |
| あとは多分、「部分適用」より「カリー化」の方がなんか格好良いので使いたくなるという大問題があるので、誰か素敵な名前の人が部分適用の歴史を覆すような大発見をして、部分適用にカレーライスっぽい名前よりもっと中二マインドをそそる名前がつけば解決する | |
| RT @hogeover30: くらえっ！パーシャルアプリケーション！ | |
| RT @_ko1: @kinaba ハヤシ化 | |
| @kmizu 例えばDの標準ライブラリ http://dlang.org/phobos/std_functional.html#.curry など…。動的型で論じたものに誤りが多いというのはあるのかもしれないですが、それはλ計算に近い/デフォルトでカリー化されている言語以外に動的型が多いという相関であって因果関係かどうか疑問かなあと | |
| @_ko1 @shinh あと日本人にはなんかカッコよく聞こえますけどたぶん英語ネイティブ人にもかっこよくないと言語の標準ライブラリにはいってる云々とかは止めにくい気がする | |
| RT @Cryolite: カリー化について議論していらっしゃる方のアカウントホームの左に https://t.co/TMqGLOHa8O が表示されていて，趣深い． | |
| いろいろ書いてますが、僕は言葉の誤用とかどんどんやれと思っている派なのでまあ全然別にいいじゃんと思っており特に改善したいとも思ってないので適当です（日本語も適当）。 | |
| ※ただしNP HardをNPと呼ぶのだけは却下だ | |
| 朝にカリー化とか意識の高い発言をしてしまったのでバランスを取らなくてはいけない気分になっているが特に何も思いつかない | |
| http://twitpic.com/cco3ae アカウントページの左を綺麗な絵で埋めたい気持ちが強まっているのでしばらく前に仕事場から撮った写真です | |
| あれ、http://t.co// に投げないと左上に来ないのか… | |
| @rilakkumacho ライスカレーは聞くけどそういえば、うどんカレーってあんまり言わないですねとか言っておきます |