F＃単位のハスケル相当物はありますか？

Question

F＃が次のようにhttp://msdn.microsoft.com/en-us/library/dd233243.aspxで説明し、測定能力の単位を有する：

[<Measure>] type unit-name [ = measure ] 

これは単位は、として定義されることを可能にする：

として書き込まれる

type [<Measure>] USD 
type [<Measure>] EUR 

とコード：

let dollars = 25.0<USD> 
let euros = 25.0<EUR> 

// Results in an error as the units differ 
if dollars > euros then printfn "Greater!" 

また、コンバージョンも処理されます（これは、Measureにはいくつかの機能があります対策は）、掛け分けて指数化させ、その罰金：

// Mass, grams. 
[<Measure>] type g 
// Mass, kilograms. 
[<Measure>] type kg 

let gramsPerKilogram: float<g kg^-1> = 1000.0<g/kg> 

let convertGramsToKilograms (x: float<g>) = x/gramsPerKilogram 

私の本能が、Haskellでは同様の機能を実装することが可能なはずである私に言うが、私は実行する方法のいずれかの例を見つけることができていませんでしたそれ。

編集：ああ私の言葉は、ワームの巨大な缶です！研究論文はhttp://research.microsoft.com/en-us/um/people/akenn/units/CEFP09TypesForUnitsOfMeasure.pdfです。私はそれがすべてのものを実装するコードの数行以上のものだと思っています。夏のプロジェクトの誰ですか？ :)

Answer 1

newtypeに数字をラップし、Numインスタンスを付けます。

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

newtype GBP n = GBP n deriving (Show, Num, Eq, Ord) 
newtype USD n = USD n deriving (Show, Num, Eq, Ord) 

使用法：

ghci> let a1 = GBP 2 
ghci> let a2 = GBP 5 
ghci> a1 + a2 
GBP 7 
ghci> let b1 = USD 3 
ghci> let b2 = USD 6 
ghci> b1 + b2 
USD 9 
ghci> a1 + b2 -- should be an error for mixing currencies 

<interactive>:8:6: 
    Couldn't match expected type `GBP Integer' 
       with actual type `USD Integer' 
    In the second argument of `(+)', namely `b2' 
    In the expression: a1 + b2 
    In an equation for `it': it = a1 + b2 

Answer 2

dimensionalとdimensional-tf（代わりに、マルチパラメータ型クラスの型家族との）ライブラリはかなりいいですし、あなたの例で提示問題のほとんどを処理することができます。

ライブラリでは、通貨などのカスタムディメンションを定義することはできません。私が知る限り、ライブラリコードを変更する必要があります。

Answer 3

unitsパッケージは有望であり、同じ次元の異なるユニット間の変換を可能にします。しかし、私はそれを使用していないと私はそれが安定しているかどうかわからない。公平に、今日はそれをインストールしようとしましたが、インストールが失敗した...最初のHaskellの中のユニットを執行について

Answer 4

チェックhaskell.org wikipage：

https://wiki.haskell.org/Physical_units

あり、複数のオプションがありますが、私はありませんあなたが言及した「単位の単位」に類似したものが実際にあるかどうか確かめてください。

Answer 5

OK。私はその質問が古すぎることを知っています。しかし、Haskellで測定単位機能を提供するためのGHCプラグインビルドがあります。このAdam Gundryのpaperを参照してください。

Answer 6

私は学習に興味があり、まだF＃の中学生ですが、ハスケルはよくわかりませんが、一般的な解決策は、数値をスカラーのタプルと単位を表すラベル、M）。例えば

は、尺度がNの数であり、Mがstringあるmeasure<N,M>の一般的なタプルであるせ、次いで=, +, -, *, /, ^は、所与の測定、a, b, and c、スカラーp、ブールK、およびメジャーラベルの評価を実施するためにオーバーロードすることができます私はあなたがして、変換ベースの比較を行うためにオードと式のために独自のインスタンスを作成するための独自の通貨型クラスを作成する必要があるだろうと思うだろうな

a = b = (Na,Ma) = (Nb,Mb) = (Na = Nb) and norm(Ma) = norm(Mb) = k 
a + b = (Na,Ma) + (Nb,Mb) = (Na + Nb, Ma) = c provided norm(Ma) = norm(Mb) 
a * b = (Na,Ma) * (Nb,Mb) = (Na * Nb, Ma * Mb) = c 
a^p = (Na,Ma)^p  = (Na^p , Ma^p) = c 
....