diff --git a/content/単位変換のための型システム.md b/content/単位変換のための型システム.md
new file mode 100644
index 00000000..aca6a0b9
--- /dev/null
+++ b/content/単位変換のための型システム.md
@@ -0,0 +1,10 @@
+#programming-language #type-system
+
+[[mimium]] で、例えばMIDIノートも生の周波数も、どちらも「音の高さ」を表すことには変わりないので、そういうのを型としてグループ化したい。そして自動変換できるようにしたい。
+
+
+[Types for units of measure | varkor’s blog](https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html)
+
+自動キャストといえば[[部分型]]の話になるけど、単位変換を扱うのはなにか違う概念を使う気がする
+
+たとえば周波数とMIDIノートの足し算みたいなことに意味があるかといわれると、よくわからん