quartz-research-note/content/単位変換のための型システム.md

#programming-language #type-system

mimium で、例えばMIDIノートも生の周波数も、どちらも「音の高さ」を表すことには変わりないので、そういうのを型としてグループ化したい。そして自動変換できるようにしたい。

Types for units of measure | varkor’s blog

自動キャストといえば部分型の話になるけど、単位変換を扱うのはなにか違う概念を使う気がする

たとえば周波数とMIDIノートの足し算みたいなことに意味があるかといわれると、よくわからん