問題タブ [units-of-measurement]

F＃の測定単位がどのように機能するかを掘り下げる機会があった人はいますか？それは単なるタイプベースのchicaneryですか、それとも他の.net言語から（潜在的に）使用できるCLRタイプがその下に隠れていますか？それは任意の数値単位で機能しますか、それとも浮動小数点値（すべての例で使用されているもの）に制限されていますか？

何十年もの間、コンピューティングの分野 (ディスク メーカーを除く) では、KB (キロバイト) は 1024 バイトを意味すると理解されていました。過去数年間、KiB (「キビバイト」) を使用して 1024 バイトを意味し、キロバイトの意味を 1000 バイトに変更する動きがあり、さらに何年にもわたる混乱が予想されます。一方で、その動きは Gnome に限定されているようで、熱心すぎるウィキペディアの編集も行われています。

プログラムを変換して KiB を使用する予定はありますか? ファイルサイズを KB で表示したことがある場合、1000 または 1024 で割りましたか?

私は値を持っていて、それが単位であることを知っていました

メートル^mn/md * kg ^kn/kd * s ^sn/sd * K ^Kn/Kd * A ^An/Ad

注: 指数は有理数であり、m ^0.5の単位が有効です

問題は、ユニットをよりコンパクトなものに分解する方法をどのように選択するかです

たとえば、

N/mが使えます

これは、離散最適化問題のサブセットであると思われます。

私たちのアプリでは、現在、すべてのエンジニアリングデータをSIのデータベースに保存するという決定の遺産があります。

データベースまたは.NET数値型で十分な精度と精度が得られないリスクが生じる可能性があるのではないかと心配しています。また、浮動小数点演算のアーティファクトが表示される可能性があることも心配しています（ただし、それ自体が問題になる可能性があります）。

たとえば、ソースデータは、Psi（ポンド/平方インチ）で表された（および一部のサードパーティサービスから読み込まれた）圧力量である可能性があります。エンジニアはこの測定単位を選択します。これは、（表現される量について）科学的記数法を必要とせずに、簡単に消化され、人間が読める数値を与える傾向があるためです。

数値を「標準化」するとき、つまり、この量を独自の永続性のために変換するとき、Pa（パスカル）に変換する可能性があります。これには、数値を他の潜在的に大きな数値で乗算または除算する必要があります。

多くの場合、非常に大きい数または非常に小さい数を格納することになり、さらに悪いことに、これらの数についてさらに計算を行う可能性があります。

現在、ORACLEfloatとSystem.Doubleを使用しています。

人々はこれについてどう思いますか？

アップデート

さらなる調査により、次のF＃言語（私が書いているCTP）での測定単位のサポートが明らかになりました。

F＃に次のようなユーザー入力を理解させることができるようです。

また、独自の派生ユニットとユニットシステムを作成することもできます。

_{（ソース：msdn.com）}

F# の測定単位に触発され、C# ではできないと (ここで)断言しているにもかかわらず、私は先日、いじっていたアイデアを思いつきました。

使用例:

次のステップは、変換を実装することです (スニペット):

( static を使用してオブジェクトをインスタンス化することは避けたかったのですが、ご存知のように、インターフェイスで static メソッドを宣言することはできません) 次に、次のようにします。

明らかに、F# の測定単位と比較すると、これには大きな穴があります (解決してもらいます)。

ああ、質問です。これについてどう思いますか? 使う価値はありますか？他の誰かがすでにうまくやったことがありますか？

この分野に興味のある人向けの更新情報です。別の種類のソリューションについて説明している 1997 年の論文へのリンクを次に示します (特に C# 向けではありません)。

文字列から重量/高さのデータを抽出できるライブラリ (できれば PHP) を探しています。

ユーザーに、「体重 80 キロ、身長 1.8 メートル」、さらには「220 ポンド」や「6 フィート 1」などを入力して、数量と単位を抽出できる関数に渡すようにします。

そのようなものがあるかどうか知っている人はいますか？

コードのどこで変換を行う必要がありますか？クライアント、サーバー、ビジネス、またはデータベース？

現在、データベースでタイムゾーンと測定単位の変換を行っていますが、パフォーマンスが低下しているため、ロジックを移動したいと考えています。これに最適な場所はどこだと思いますか？

ありがとう

最後にcsvを吐き出すデータ操作コードがあります。

どこにでも測定単位を追加するためにアップグレードを開始しましたが、現在、csv 関数に問題があります。

(パラメーターは、ファイル名、列配列、列ヘッダー、セパレーターです)

以前 [|s;x;y|] を WriteCSV に送信したところ、[|skm; を送信できないため、問題が発生しました。xmm; ymm|]。

測定単位を一般的に削除する関数を作成しようとしましたが、機能しません。

私の質問は次のとおりです。

• うまくいかないのはなぜですか？
• 動作させることはできますか？
• この特定の問題を解決する別の方法はありますか?

私は StrangeLights の宣伝文を読み、Expert F# (page 119) からの一節を読みましたが、それらが私のコードにどのように適用されるかわかりません:

私のテストでは、少しの許容範囲で、float 間の同等性をチェックしたいと考えています。すべてを測定単位に変換していますが、「一般的」になりたいです。

次に、これを使用して、さまざまな「タイプ」のフロートで同等性をチェックしたり、カリー化してカスタムのものを作成したりできます。

しかし、次のメッセージが表示されます。

関数にするためにこれ以上できることがわかりません-暗黙のパラメーターが表示されません。

調子はどう？

csv ファイルから数値をインポートする場合、単位付きの浮動小数点数に変換する必要があります。

現在、インライン関数でこれを行っています。

しかし、これを行うためのよりエレガントな方法があるかどうか疑問に思っています-または、変換関数を使用して独自の「ユニット」モジュールを作成する必要がありますか?

本当にいいのはこのようなものですが、それが可能かどうかは疑問です...

これは、以前の質問 ( F# 測定単位を一般的に削除する方法) の反対です。

更新:自家製ユニットの場合、これを試しましたが、問題なく動作します:

または、この回答の質問に従ってください