[obsidian] vault backup: 2025-10-06 15:39:33[

content/mimiumの多段階計算.md

@@ -10,6 +10,49 @@
 
 シンプルに構文木レベルでのインタプリタを別途作ることで実現できそう。
 
+## 構文の拡張
+
+### Type
+
+Code Type $\langle t\rangle$を加える
+$$
+\begin{align}
+\tau ::=
+		&\quad R \quad &\\
+      |&\quad I_n \quad &n \in \mathbb{N} \\
+      |&\quad \tau → \tau &\\
+      |&\quad \langle \tau \rangle
+\end{align}
+$$
+
+### Expression
+
+$$
+\begin{align}
+e ::=
+	  &\quad R & R \in \mathbb{R}  [number]&\\
+      |&\quad e \ e \quad& [app]&\\
+      |&\quad \lambda x.e& [abs]&\\
+      |&\quad let\; x\; =\; e\; in\; e& [let]&\\
+      |&\quad delay(x,e_{time},v_{bound})&[delay]&\\
+      |&\quad mem(e) &[mem]&\\
+      |&\quad feed\ x.e &[feed]&\\
+      |&\quad `(e) &[quote]&\\
+      |&\quad $(e) &[splice]&
+\end{align}
+$$
+
+### Value
+
+$$
+\begin{align}
+v ::=
+	  |&\quad R & R \in \mathbb{R} [number]&\\
+      |&\quad cls(e,E) &[closure]&\\
+      |&\quad \langle v \rangle &[code]&\\
+\end{align}
+$$
+
 
 ## 課題