[obsidian] vault backup: 2023-08-30 01:13:06

content/音楽プログラミング言語の形式化.md

@@ -15,6 +15,8 @@
 
 ## [[mimium]]と[[多段階計算]]
 
+[[mimium新内部表現の構想]]での検討材料
+
 こういうのが計算できなかった(要するにfixpointの中で`self`を使うと必要な`self`のサイズを確定できない)
 
 ```rust
@@ -128,6 +130,7 @@ fn lowpass(input,fb){
 
 ただ、そうするとユーザーからは、「なんだかよくわからんけど再帰する関数の第1引数には上限の決まったIntしか使えんらしい」という不条理感が残る
 
+こっちは筋が悪いかなー
 ### これら2つではカバーできないケース
 
 再帰の深さによって返したい型が変わるような多相を考えると厳しいかも。
@@ -139,3 +142,16 @@ fn lowpass(input,fb){
 項でインデックスされた型＝依存型な気がするのよな
 
 [[多段階計算#依存型との組み合わせ]]　
+
+どのみち、拡張していくとしたら
+
+1. 現状のmimiumのシンタックスのまま再帰とfeedを混ぜてもコンパイル通せるように頑張る
+2. 多段階計算導入
+3. 依存型導入？
+
+という順番になると思うので、どのみち一旦Rustでのmimiumコンパイラをシンプルに作りに行けばそれでいいのではないか？後から拡張するということで
+
+[[継時再帰]]の方をどう定義するか&feedの項とどう使い分けるのかの問題はまだ残されているが…
+
+継時再帰は[[Kronos]]のMeta-Sequencerでも使われてたはずだし、きちんと意味論を定義することはできるのかな？
+