From fcd1441a3c125a82abadc1691a720ba9ae4dd02e Mon Sep 17 00:00:00 2001 From: "Matsuura Tomoya(Windows)" Date: Wed, 25 Dec 2024 02:45:17 +0900 Subject: [PATCH] [obsidian] vault backup: 2024-12-25 02:45:17[ --- content/単位変換のための型システム.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 content/単位変換のための型システム.md 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ノートの足し算みたいなことに意味があるかといわれると、よくわからん