Anything * else * Haskell'in $ in F # yerine <|

Question

Diğer birçok SO yanıtında atıfta bulunulan back-pipe (<|) işleci olduğunu biliyorum. Ancak bu zincirleme yaygın olan (|>), ileri borular ile kombine edildiğinde iyi çalışmaz. Ancak ilgili seçenekleri arıyorum. Temel olarak aşağıdaki fonksiyon tanımının yerleşik versiyonu var mı? Yoksa bu kötü/tehlikeli bir uygulama mı?

let inline (^%) f = f 

let stuff = 
    [1;2;3] 
    |> Seq.filter ^% (>) 2 
    |> Seq.map ^% fun x -> x.ToString() 


// compare to this, which doesn't compile (and would be hard to follow even if it did) 
let stuff = 
    [1;2;3] 
    |> Seq.filter <| (>) 2 
    |> Seq.map <| fun x -> x.ToString() 

Answer 1

F # bulunmayan kullanarak komutu ters tırnak ve bölümleri, infixing opsiyonel gibi bazı Haskell özellikleri vardır. Bu, belirli yapıları biraz daha ayrıntılı hale getirir.

Genellikle, ben sadece böyle yukarıdaki gibi fonksiyonların bir boru yazmak istiyorum:

let stuff = 
    [1;2;3] 
    |> Seq.filter (fun x -> x < 2) 
    |> Seq.map string 

Bu benim görüşüme göre, çok daha okunabilir. Örneğin, Seq.filter ^% (>) 2 kullanarak, ben 'tüm değerler 2'den büyük' ​​anlamına gelen, ancak o ne sattığını olduğunu okumak sezgisel ediyorum:

> let inline (^%) f = f;; 

val inline (^%) : f:'a -> 'a 

> let stuff = 
    [1;2;3] 
    |> Seq.filter ^% (>) 2 
    |> Seq.map ^% fun x -> x.ToString() 
    |> Seq.toList;; 

val stuff : string list = ["1"] 

Eğer şüphe kod okuyucu bırakırsanız neler Kod yapar, sadece herkesi daha az üretken yaptınız. Seq.filter (fun x -> x < 2)'u kullanmak daha ayrıntılı görünebilir, ancak okuyucuya açık değildir.