我々の TDPE： Basic Idea (2)

primitive な value destructor たちを、

「式に対しては式を返す」

ように拡張する。

例：関数適用

e1 @? e2 = e1 @ e2
（e1 が関数の場合）
e1 @? e2 = e1 @ (reify e2)
（e1 が式の場合）

Previous slide

Next slide

Back to first slide

View graphic version