[obsidian] vault backup: 2024-09-25 10:40:29[

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

@@ -214,4 +214,9 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
         return 0
     }
 }
-```
+```
+
+
+
+---
+プリミティブとしてはlistとarrayの2種類を持っておき、型強制で`<List 'a>`を`Array 'a`　として使えるようにする