コンパイラ講義をなんとなく監視

XENO @xenophobia__

コンパイラ演習始まりますよー。

XENO @xenophobia__

今日のテーマはデータフロー解析

XENO @xenophobia__

制御フローグラフ、という言葉は聞いたことある。

XENO @xenophobia__

さっき言われましたが、実は生存解析は後方データフロー解析でした。「前のブロックの入口で生きている変数は、自身の出口でも生きている」というデータフロー方程式を立てるわけですね。

XENO @xenophobia__

今やってるのは前方解析ですが。

XENO @xenophobia__

ちなみに、一般には和集合をとるだけでなく、「前方（or 後方）ブロックの情報を『あわせる』演算」を解析ごとに考える必要があります。（まぁ大体sumかintersectionでいいんですけど。）

XENO @xenophobia__

実際にs6, s7はB1に到達しませんが、それはこの場合関係ありません。単にi,sが上書きされるから（もし来たとしたら）無効化されるということです。

XENO @xenophobia__

ステートメント単位で基本ブロックとか考えたこともなかったな……

XENO @xenophobia__

まぁ絶対重すぎるけど。

XENO @xenophobia__

forループ(Do-All型ループ)に関する最適化は次回です。

XENO @xenophobia__

はっじまっるよ～

XENO @xenophobia__

MLの型推論

XENO @xenophobia__

あれ、表現力自体は上がらないのか。意外。 #講義

XENO @xenophobia__

この講義、聞いてると実際に実装したくなるな。

XENO @xenophobia__

今やってるやつは既にML演習で実装したけども。

XENO @xenophobia__

OCaml/Haskell/Egisonで書き比べたい。

XENO @xenophobia__

型クラスとかやるのかなー

XENO @xenophobia__

f3ぐらいから一気に酷くなるな。

XENO @xenophobia__

ghciでやった結果: https://t.co/Y59dMehKYN 思いのほかちゃんとインデントしてくれるんだなぁ。 #講義

XENO @xenophobia__

f4も型推論はわりとすぐ終る。

XENO @xenophobia__

true = λx.λy.xだと型が付き、false = λx.λy.yだと付かない式を定義できる。 #講義

XENO @xenophobia__

assertってこんな複雑じゃないといかんのかなぁ。

XENO @xenophobia__

ここのτ1 ≦ τ2は「型τ1を持つ項の集合」⊆「型τ2を持つ項の集合」とすると理解できるな。 #講義

XENO @xenophobia__

semi-unificationを用いた多相型のReformulation #講義

XENO @xenophobia__

型スキームがいらなくなるのか。