Merge remote-tracking branch 'home/v4' into v4

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

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