「俺言語を作ろう！」記事へのコメント

単位付きの数

[etsav (7596)]

数値リテラルと数値型変数に、 型の他に単位も付けられたらいいなと思ってた時期がありました。

加減算と代入は単位の次元が揃っていないと出来ないとか、 長さ次元の数を二つ掛けると面積次元に変換されるとか。 同じ次元なら、 例えば mm 単位の変数に m 単位の数を代入すると、 自動的に 1000 倍になるとか。

ここ数年は単位の付いた数を扱うプログラムを組んでいないので、 どうでも良くなってしまいましたが。

Re:単位付きの数

[nog (7146)]

サンデープログラマ、んでもって本職は機械設計だったりするんですが、 たまに仕事でやってることをJavaで書きたいなぁなんて思うと、やっぱり 単位をどうあつかうか、が一つ問題になります。 SI単位系をクラスとかで設計しようとすると、面積と力で圧力に変換、とか 数値と単位の文字列から自動的にインスタンス作成して、それに対して演算 すると自動的に単位が出るとか。 欲を言えば、工業系言語ないかなぁとか。 素材と断面形状を指示（プログラミング）すれば断面二次モーメントとか 許容応力がでたり、、、 こんなのがあったら、仕事、、、ふえるだろうなぁ

Re:単位付きの数

[kubota (64)]

たいていの単位は、kg、m、s、A くらいの組み合わせで表現できてしまいますよ。たとえば (kg, m, s, A) = (1, 2, -2, 0) だと J とか。

あと、有効桁数を自動的に追跡してくれたりすると、いいかもね、と思います。

Re:単位付きの数

[etsav (7596)]

たいていの単位は、kg、m、s、A くらいの組み合わせで表現できてしまいますよ。

MKSA のそれぞれについて、 次数と接頭辞を追跡する――ってところまでは考えてた覚えがあります。 出力時に文脈上最適な合成単位をどう決定するかで詰まって、 なんとなくそのままに。

あと、有効桁数を自動的に追跡してくれたりすると、いいかもね、と思います。

いいですねそれ。 でも、 下手なループ回したらあっという間に有効一桁になっちゃったりとか。 順番を最適にしてくれる演算子だとかも要るのかな？

Re:単位付きの数

[etsav (7596)]

それと、 無次元の数をどう扱うかですね。 角度と確率を足すなんて事は出来ませんし。

演算の結果としての無次元なら、 演算前の次元の比を持っていれば、 相互に加減算・代入が可能かどうか判断できるかもしれませんが。

Re:単位付きの数

[G7 (3009)]

次元は単位の1つの部品にすぎず、単位そのものではない、
というふうにすれば良さそうですね。

ところでマーチンファウラー「アナリシスパターン」にも
たしか単位を扱うためのパターンが紹介されていたような。
今手元になく、読んで何年もたってしまったので、確かめられないですが。

Re:単位付きの数

[Anonymous Coward]

>ところでマーチンファウラー「アナリシスパターン」にも
>たしか単位を扱うためのパターンが紹介されていたような。
>今手元になく、読んで何年もたってしまったので、確かめられないですが。

http://martinfowler.com/ap2/quantity.html [martinfowler.com]ですね。

Re:単位付きの数

[Anonymous Coward]

> たいていの単位は、kg、m、s、A くらいの組み合わせで

SI の普及の前に、まさしく MKSA 単位系っていうのがありましたよね。

Re:単位付きの数

[etsav (7596)]

素材と断面形状を指示（プログラミング）すれば断面二次モーメントとか 許容応力がでたり、、、

ぅぐ。 材力を落としまくってた過去の傷がぁ……

そうです、 だからその頃欲しがってたんです、 演習用に。

# 誤植だらけの教科書を何年も使い続ける教授もどうかと思うけど。
# それこそ単位の次元なんて丸っきり信用できなかった。

Re:単位付きの数

[kraymor (2340)]

数値リテラルと数値型変数に、 型の他に単位も付けられたらいいなと思ってた時期がありました。

たしか，Mathematica [wolfram.com]では，単位換算のパッケージがあったような．自動的に変換というわけではなく，Convertとかしなきゃいけない [wolfram.com]みたいだけど．

--
// kraymor

Re:単位付きの数

[crouton (9)]

長さだけ、しかも単位限定ですが、TeXとか:-)

--
"Quidquid latine dictum sit, altum videtur."

Re:単位付きの数

[mad-p (1491)]

それ言うならMETAFONTでは。
syntaxも数式そのまんまだし。
固定小数点で絶対値が4096未満なのが痛いけど。

Re:単位付きの数

[Anonymous Coward]

C++ でできないかな。
変数から値を取り出すときに、cm で取り出したり m で取り出したりすればいいのかな。

Re:単位付きの数

[Anonymous Coward]

Java だと これ [dautelle.com] とか Rubyだと これ [isas.ac.jp] とか。