ToDo:
ほめてもらたーと思いつつ。
なんというか、書いてる最中とか 書き終わった後は何がキモだったか覚えてるけど、 memo/hatena 書いてる最中は忘れてる現象。
ぷろぐらむの語彙が貧弱な僕こそ 適当に名前をつけてキモを把握しておいた方がいいんでないかとか、 いややっぱデザパタ重要なんじゃないかとか。 だいたい自分のできたことすら把握してないから 人と話す時困るんだ。
マッチング能力は、 暗黙テンプレート引数＞明示テンプレート引数＞static if の : 、 なんだけど、 C++ だと 暗黙のテンプレート引数でマッチさせたものは関数なので、 そこから型を取り出すことが(たぶん)できない。 その関数を実際に呼んでしまってクラス返せばできるけどね。 でも D は typeof あるから取り出せるぜへへん、っていう話か。
static if はええとなんで弱いんだっけ。 思い出せんのだからメモをすべきだ。
ええと…
is ((T, U) : ???) って感じで書きたかったのは覚えている。
思い出した。
is (T (U, V) : U function(V)) と書きたかったんだ。 つかこれできたら暗黙テンプレートと同じマッチ能力あるじゃん。
つか2変数以上の部分特殊化ができない、 って書いてくれてるじゃん。
暗黙テンプレート引数＞明示テンプレート引数＝static if の :
だなたぶん。
やっとノウハウとして蓄積できた気がした…
D in depth Wiki とか作って C++ と違うテクニックを集積するとか。
誰が見るんだ、って勢いの Wiki を。
集積したテクニックはたぶんよく使えそうなものは もっと簡単な文法を Walter さんが導入しちゃうんだろうけど、 まぁ言語の進化ってのはそういうものだろう。
とりあえず /template/ みたいなノリで ひどい状態の /d/ をなんとかしよう。
(01:20)
前から思ってるけど、 いろいろタイムリーな気がするので bind が書きたい。
しかし現実逃避はよくない。良いんだけど。
過度の現実逃避はあなたの社会生活を害する恐れがあります。
(01:43)
をおされに書く方法が無ければやる気が起きないと気付く。
なんとかして再帰的な定義に持ち込めないか…
void (T t, ...) と void (T t) のオーバロードが できればなんとかできそうだけどできない。
つかそれがなんとかできても tail みたいなのが実装できんか。
argNum は実装できそうだなぁ。
TODO: 現実逃避をやめる。
(03:36)
なんかみんなやってるけど オサレな関数とか作るのもういいから、 だって別に他の関数型言語でもいいしな、 モナドとか型やろうぜーとか言ったら
http://haskell.g.hatena.ne.jp/mr_konn/20060613/1150213544
やった。
いやすげーなあああああ
(けど実は簡単な)IOモナド
というフレーズが実にクルものが。
IO はやっぱ IO って名前でいい気がします。 あと do の外でモナド外せたらマズくね、とか。
次はぜひ型をお願いします。
(07:13)
auto dubl = convolution(&concatMap, &replicate);
とは書けない気はする。 うぬぬ生意気な。
けど本当にできないのかな。 なんかほげほげできそうな。
メモ template opCall
(12:51)
int func(char, bool, char[], int[char[]]); alias functor!(typeof(&func)) f; static assert(is (f.rettype == int)); static assert(is (f.argtypes == TL!(char, bool, char[], int[char[]])));
ふむ。割にあっさりできた。
(18:48)
| 前 | 2006年 6月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | |
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。