Units of Measureのススメ - Qiita https://qiita.com/adacola/items/b65752b678e81bc8e354
"...Height型や年齢を表すAge型をいちいち作るというのも非常に大変です。
また、Height型から身長の値を取り出すのにオーバーヘッドが発生し、わずかながらパフォーマンスが低下することになります。..."
Adaがdisられてる!><;
Units of Measureのススメ - Qiita
https://qiita.com/adacola/items/b65752b678e81bc8e354
これ思い出した
0xf だろうが 0x0F だろうが 15 だろうが 018 だろうが、本質的にその意味が15である (内部表現) 点に違いはなく、記法の揺れは外部表現の差にすぎない。型は内部表現を気にするときの概念であって、外部表現を型と強く紐付けるのは文法的な作法でしかない
いやでもこれ、 https://mstdn.maud.io/@unarist/111014896869839168 を書いたときには別に仮想的な桁が下に伸びること想定してなかった気がするな?桁落ち上等、でも落ちた桁はどのみち結果に残らんからいやんやろとか思ってた気がする(実際には、1の1割引とか考えた時に🤔になる)