継続勉強会 - 継続はコンピューティングの基礎中の基礎

koba @kobae964

ANFはIS3年のCPU実験で扱うコンパイラが使っている中間言語 #cps_study

かず(原材料に小麦粉を含む) @kazzna

コンパイラについて最低限知っている人が前提の発表すごい。 #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

A正規形とかk正規形とか名前から意味が推測しにくい名前つけるのやめようぜ!! orz #cps_study

. @fetburner

keenさんのスライドを読んだ。スコープも考慮してmulti-stage programmingできる処理系がありますね？ okmij.org/ftp/ML/MetaOCa… #cps_study

κeen @blackenedgold

#cps_study あれ？min camlってk正規型じゃなかったっけ。勘違いか。

. @fetburner

ANFはlet x = M in NのMにletが入る事を許さないけどMinCamlで使われているKNFは許しますね #cps_study

かず(原材料に小麦粉を含む) @kazzna

すべて末尾呼び出し！！ #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

理情のコンパイラ(ていうかmincaml)って "k正規形" って名前使ってなかったっけ #cps_study

koba @kobae964

@kobae964 間違えました、KNFでした #cps_study

. @fetburner

「CPSは衰退している」 #cps_study

Kouji Matsui @kekyo2

すべて末尾呼び出しなので最適化できる #cps_study

だれでもないイカ @duxca

CPS変換された関数に&つける習慣は何なんだろう #cps_study

かず(原材料に小麦粉を含む) @kazzna

「CPSは時代遅れ！！」 #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

速攻MinCamlコンパイラ概説: K正規化(kNormal.ml) esumii.github.io/min-caml/tutor… #cps_study

Kouji Matsui @kekyo2

まて、マジでILの話か #cps_study

Kouji Matsui @kekyo2

SML.NET マジか #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

やっぱ研究者ってこういう意味不明なこだわりがないとやってられないよね…… < 「筆者はSML.NETのすべてのパイプラインをCPSベースに変更」 #cps_study

かず(原材料に小麦粉を含む) @kazzna

Soundって自明って訳でいいのかな？ #cps_study

赤い狐 いく @ikk775

CPS項を簡約してもCPS #cps_study

κeen @blackenedgold

#cps_study soundの訳は健全かな？

akabe @ackey_65535

簡約が sound って簡約前の項と簡約後の項がどちらも何とか正規形になっているって意味か #cps_study

Kouji Matsui @kekyo2

β簡約つらい #cps_study

しもむー的意味論 @sm0kym0nkey

「Compiling with Continuations, Continued」聞いてる。 #cps_study

でこれき @dico_leque

簡約しても簡約してもCPS項 #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

この文脈での "sound" は健全とかちゃんとしてるとかいう意味だと思われ #cps_study twitter.com/kazzna/status/…