かつのりの日記２

# re: 単位を扱うAPI 2007/04/19 14:00 nagise

これで尺貫法の変換が…
「僕の計算尺に狂いが無い限り！」とか叫べますね :-P

冗談はさておき、言語の論理的な型と、そこに格納される意味的な型が違うケースについてのプログラム言語的な解法になるのではと期待が持てます。

変数型が同じだからと言って代入不可能なケース（該当記事では単位の違う量について取り上げている）で
言語的にコンパイルエラーに出来る（ジェネリクスで単位型の違いが検出できる）わけですから、
単位変換の際に変数の扱いを間違えたと言うバグを撲滅できるかもしれません。

もうちょっと拡張して「入力された生のString」と「特定のエスケープ処理されたString」のようなケースでも
扱えるようなライブラリになってくれると嬉しいのですけどね。
あとはJSPなどのWebのViewを担当するライブラリがそこに対応するとXSSが撲滅できる…
というと妄想を広げすぎでしょうか。