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

akabe @ackey_65535

型システムが sound はよく聞くけど、簡約が sound って表現あるのか〜 #cps_study

Kouji Matsui @kekyo2

そうなるなー #cps_study

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

第一級とか第二級とかよくわからない。 #cps_study

だれでもないイカ @duxca

第二級とは #cps_study

κeen @blackenedgold

#cps_study ふむふむ

akabe @ackey_65535

簡約の soundness って「簡約で正規性が保存されること」だから preservation っぽい？ #cps_study

. @fetburner

「簡約がsound」と言ったのは素朴なインライン展開を適用してもプログラムの意味が変わらない、ぐらいの気持ちでは #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

. @ackey_65535 一般に、なにかの系の中での操作の結果がその系の中で閉じているかどうかをいうときに sound とか soundness はよく使いますね。 #cps_study

Kouji Matsui @kekyo2

IL最適化 βとη変換ルール #cps_study

Kouji Matsui @kekyo2

Sound: letを変換してもlelt #cps_study

κeen @blackenedgold

#cps_study 「そろそろ見慣れてきましたかね、脳が麻痺してきましたよね」

akabe @ackey_65535

文法とか変換規則は見慣れる以前に字が小さすぎる気が... #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

ある系S上の項tに、やはり系S上のある操作fを適用した結果f(t)が系Sの外に出ていってしまうようだと、Sは "sound" ではない #cps_study

kakkun61 @kakkun61

構文定義を見たときは何が書けないか見た方がいい #cps_study

ころ @koropicot

おもしろい #cps_study

koba @kobae964

継続の呼び出しは機械語のジャンプに似ている #cps_study

赤い狐 いく @ikk775

CPSの方は簡約によって大きさが小さくなる！ #cps_study

牛 @usi_kro

Reduction(Reductionとは言っていない) #cps_study

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

CPS簡約だと確実に項の数が減る！！ #cps_study

κeen @blackenedgold

#cps_study 「項の数がれます減らない簡約っていやですよね」わかる

. @fetburner

CPSアツ過ぎる #cps_study

koba @kobae964

結論: 中間言語としてCPSを使えば単に簡約するだけで何もかもうまく線形時間でできる #cps_study

NaOHaq(苛性ソーダ) @NaOHaq

実際jump命令相当のことをやるんだからjumpでいいんじゃないか。 < CPSにおける継続の呼び出し #cps_study

ころ @koropicot

めっちゃおもしろいぞ #cps_study

athos)))))))) @athos0220

むしろなんでCC-*系のルールが必要だったのかがよく分かってないな #cps_study