format/format4/format6は、内部表現stringのままらしい。Obj.magicで元の文字列を取り出せます。 # let fmt = ("%d" : ('a, 'b, 'c, 'd, 'e, 'f) format6);; val fmt : (int -> 'a, 'b, 'c, 'd, 'd, 'a) format6 = <abstr> # (Obj.magic fmt: string);; - : string</abstr>…

まあ↓な感じでできるのでしょうけれど # type 'a num = unit;; type 'a num = unit # let incr ((): 'a num): ('a num) num = ();; val incr : 'a num -> 'a num num = <fun> # let zero: unit num = ();; val zero : unit num = () # let decr ((): 'a num num):</fun>…

英語版Wikipediaが自分の感覚に近いなあ。 http://twitter.com/kinaba/status/1348408180 ということで英語版Wikipediaを参照。 Metaprogramming is the writing of computer programs that write or manipulate other programs (or themselves) as their da…

今更ながら、初めて理解しました！！ たとえば、右手薬指で「．」を打ち、次に右手中指で「K」を打った直後の場合、・肘を開かずに打っていれば、右手人差し指が最短運指距離で打てるのは「J」になる。・肘を開いて打っていれば、右手人差し指が最短運指距離…

これがめたぷろぐらみんぐに該当するかどうか2日ぐらい考えてます。 typedef char x<:100:>; typedef char y<:200:>; typedef struct <% x x; y y; %> z; #include<stdio.h> int main() <% printf("%d + %d = %d\n", sizeof(x), sizeof(y), sizeof(z)); return 0; %> 用途は、「定数</stdio.h></:200:></:100:>…

Twitter Boardウィジェットの便利さの前に屈し気味です……。文明は人間の主張をも変えてしまう恐ろしいものです。 今日こっちに書いたのは雪が降ってたからです。

Ada Hackathonをやるからにはtanakmuraさんやzubenaltさんにも声をかけてみるべきでした……。 今日の今日まで思い付かなかった！なんという失策！

将来はプログラマー以外の仕事を見つけて田舎に引き篭もるか海外逃亡するのが正解ですよね大体趣味プログラマーとしての時間を取れることを考えるならずっと栃木にいたほうが生活費の面でも良かったしとまあそんなことを考えていると、今現在東京在住である…