なんとなく、template Haskellに興味が沸いたりしてDSL Implementation in MetaOCaml, Template Haskell, and C++ などを眺めていたら、examples of Embedding DSLとして、Haskoreというのがあがっていたのだった。 サイト http://www.haskell.org/haskore/ …

parametricityというか、logical relationって、まあ話の流れは追えるけど、どうも直感的にピンとこない。てことで、WadlerのGirard-Reynolds isomorphismを読んでみた(自然数に対する)数学的帰納法は、P2では、 Nat(k) = Forall P.(forall n.P(n) => P(succ…

以前から気にしていたのだけど、strictness analysisってstrictかどうか解析するんだよねーというくらいしか知識がないので(そのままやんけ。型推論も型を推論するんだよねーというくらいしか分かってないけど、あれはひたすら単一化するんかね)、適当に調べ…

メモ。以前探して見つけられなかった、GHCのruntime systemに関する論文 The New GHC/Hugs Runtime System The STG runtime system(revised) STG Survival Sheetどれも2000年頃ので、微妙に古いけど、大いに参考に

Wadlerの論文読みすぎ