programming-languagetype-system
mimium で、例えばMIDIノートも生の周波数も、どちらも「音の高さ」を表すことには変わりないので、そういうのを型としてグループ化したい。そして自動変換できるようにしたい。
自動キャストといえば部分型の話になるけど、単位変換を扱うのはなにか違う概念を使う気がする
たとえば周波数とMIDIノートの足し算みたいなことに意味があるかといわれると、よくわからん
Types for units of measure | varkor’s blog
Unit Conversion and Dimensional Analysis Library: UNITS
Dimension Typeかー
Unit Conversion the Easy Way (Dimensional Analysis) - YouTube