私講師じゃなかったんで、変な事教える権限無かったのと、なんか勝手に教えたら芥子粒にされそうだったんで会場では自重していたんですけど、キャンプ終わってこのエントリ読んでいる人には構わないよねという感じで。 別に大した事では無いんですけど。 キ…

っていう、可変長引数にも繋がるお話。GHCのprintfのコードが長過ぎて嫌だなーという女子大生の方向けに、小さく抜き出したものが以下のコード data UPrintf = UString String | UInt Int my_printf :: (PrintfType r) => String -> r my_printf fmts = spr …

dependent type programming(依存型) VM作る(狭義のVMWareとかのVMじゃなくて) HTMLとは何者か、その周辺を今のプログラミング言語界と照らし合わせて考える うみねこやりまくる ICPCの練習そろそろやる MONSTER全部読み終わったので、20世紀少年