Birim güvenli kare kökleri

Question

Kullanıcı tanımlı bir kare kök işlevi (sqrt), F # 'nin unit system ile doğru şekilde etkileşime girecek şekilde nasıl yazılabileceğini merak ettim.

o gibi olmalıdır Ne:

 
let sqrt (x : float<'u^2>) = 
    let x' = x/1.0<'u^2> // Delete unit 
    (x ** 0.5) * 1.0<'u>  // Reassign unit 

Ama bu nedeniyle sıfırdan farklı sabitler jenerik birimleri sahip izin verilmemesi izin verilmez.

Bu işlevi yazmanın bir yolu var mı? Yerleşik sqrt ile iyi çalışıyor, bu yüzden sihir ne yapıyor?

Answer 1

Sıfır olmayan genel sabitlere izin vermek, birimler için tip sisteminin güvenliğini kırmayı çok kolaylaştırabilir (bkz. Andrew Kennedy'nin papers). Son cevabınızın cevabının, sqrt'un aslında bir anlamda sihir olduğuna inanıyorum ki, normal yollarla bu tip imzayla parametrik bir fonksiyon tanımlamak mümkün olmamalıdır.

ise:

let sqrt (x : float<'u^2>) = 
    let x' = (float x) ** 0.5 (* delete unit and calculate sqrt *) 
    ((box x') :?> float<'u>) 

Answer 2

@kvb daha genel olarak haklı: Ancak, (F # geçerli sürümünde en azından) boks ve döküm yararlanarak istediğini yapmak mümkündür üniteden bağımsız bir algoritma (örneğin 'küp kökünü yazdığınızı varsayalım') var ve birimlerin üzerine koymak istediğinizde, algoritmayı doğru tip imzalı bir işleve sarabilirsiniz ve Birimleri içeriye gönderirken "atar" ve bir sonraki çıkışa uygun birimleri "tekrar eklemek" için kutu-ve-downcast yaklaşımı.

RTM sürümünde (Beta2'den sonra), F #, 'arka birimleri ekle' için ilkel kütüphane işlevlerine sahip olacaktır, çünkü kutu-ve-downcast yaklaşımı şu anda bu ilkel öğelerin eksikliğini gidermek için şu anda bir kesmek gibidir. dil/kütüphane.