Kısmen sağ elle çalışan kullanıcı bölümlerini değerlendirmek

Question

(*~) işlevim var. x *~ y değerlendiren maliyetinin çoğu kabaca bu satırlar boyunca, ikinci argüman teftiş geliyor: Kısmen (*~ y) gibi operatör bölümlerini değerlendirmek için ghc ikna etmenin bir yolu

(*~) :: a -> b d -> c d a 
x *~ y = case y' of 
      Bar -> cheapFunction y' x 
      Baz -> cheapFunction2 y' x 
      Quux -> cheapFunction3 y' x 
    where 
    y' = expensive y 

var mı?

ben gibi yeniden denedi:

(*~) = flip go 
    where 
    go y = let y' = expensive y 
      in case y' of 
       Bar -> cheapFunction y' 
       Baz -> cheapFunction2 y' 
       Quux -> cheapFunction3 y' 

ama yardımcı görünmüyordu. Bunun nedeni, flip'un saygısızlık yapmadan önce tüm argümanlarını gerektirmesi olabilir.

Tek yol, yalnızca operatörün kendisini çevirmek olabilir, ancak pahalı işlenen sağ tarafta olduğunda, daha çok doğal olarak okur, çünkü varolan bir gösterimle hizalanır.

Düzgün hazırlanmış bir {-# RULE #-} beni buradan kurtarır mı? Eğer öyleyse, ne söylemeli? (Ben kurallar sözdizimi, diğer şeylerin yanı sıra, eşleşmeleri aramaya başlamadan önce ne kadar uzağa düşmüş olacağımı açıklığa kavuşamıyorum.)

Answer 1

Böyle bir optimizasyonu tetiklemek için, işlevinizin satır içi olduğundan emin olmanız gerekir. (*~) işlevinin bildirilmesinden önce {-# INLINE (*~) #-} pragma yerleştirin. Sorunu çözeceğini garanti edemem, ama yaklaştığımı görmenin tek yolu bu. Bundan emin olmak için üretilen Core kodunu "ghc-core" gibi bir araçla inceledim. Bununla birlikte, sorun aslında doğru olmayan kod kompozisyonunun bir göstergesidir. Fonksiyonunuz birbiriyle ilgisiz şeyler yapıyor. expensive y sadece bunun dışına çıkarılmalıdır, o zaman probleminiz bu şekilde silinecektir. Örneğin, kullanım modeli x *~ y yerine x *~ expensive y olmalıdır.