2024-12-25 02:45:17 +09:00
|
|
|
|
#programming-language #type-system
|
|
|
|
|
|
|
|
|
|
|
|
[[mimium]] で、例えばMIDIノートも生の周波数も、どちらも「音の高さ」を表すことには変わりないので、そういうのを型としてグループ化したい。そして自動変換できるようにしたい。
|
|
|
|
|
|
|
2024-12-25 03:45:51 +09:00
|
|
|
|
自動キャストといえば[[部分型]]の話になるけど、単位変換を扱うのはなにか違う概念を使う気がする
|
|
|
|
|
|
|
|
|
|
|
|
たとえば周波数とMIDIノートの足し算みたいなことに意味があるかといわれると、よくわからん
|
|
|
|
|
|
|
2024-12-25 02:45:17 +09:00
|
|
|
|
|
|
|
|
|
|
[Types for units of measure | varkor’s blog](https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html)
|
|
|
|
|
|
|
2024-12-25 03:45:51 +09:00
|
|
|
|
[Unit Conversion and Dimensional Analysis Library: UNITS](https://nholthaus.github.io/units/)
|
2024-12-25 02:45:17 +09:00
|
|
|
|
|
2024-12-25 03:45:51 +09:00
|
|
|
|
Dimension Typeかー
|
|
|
|
|
|
|
|
|
|
|
|
[Unit Conversion the Easy Way (Dimensional Analysis) - YouTube](https://www.youtube.com/watch?v=HRe1mire4Gc)
|
