From 6a1642213f21ef49ec0c9173b1bf0f4f7cf39807 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Wed, 25 Sep 2024 10:40:29 +0900
Subject: [PATCH] [obsidian] vault backup: 2024-09-25 10:40:29[

---
 content/音楽プログラミング言語の形式化.md | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md
index c0ea02a6..db63b83b 100644
--- a/content/音楽プログラミング言語の形式化.md
+++ b/content/音楽プログラミング言語の形式化.md
@@ -214,4 +214,9 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
         return 0
     }
 }
-```
\ No newline at end of file
+```
+
+
+
+---
+プリミティブとしてはlistとarrayの2種類を持っておき、型強制で`<List 'a>`を`Array 'a`　として使えるようにする