Profil Şablonu Haskell

Question

Derlemem yaklaşık 30 saniye süren TH ağır bir dosyam var. Template Haskell'in performansının hatalarını ayıklamak için kullanabileceğim bazı teknikler nelerdir?

Answer 1

TH'nin doğru akışını doğru olarak anlarsam, derleme zamanında ekleme yaparken sıradan hata işlevleri çalıştırılır. Ama daha sonra çalışma zamanında kendi başınıza koşabilirsiniz. Örneğin, TH ağır dosyanızda $ (foo x y ...) gibi bir şeyiniz var demektir. Başka bir dosya oluşturun ve orada 'foo x y' ifadesini arayın, ancak sonucu eklemeyin. Daha sonra her zamanki gibi 'foo' profillerini takip edebileceksiniz. Eğer darboğaz AST nesil aşamasında ise onu bulacaksınız. Tembelliği düşünmeyi unutma.

Answer 2

GHC 8'den itibaren, bu -fexternal-interpreter ile yapılabilir.

TH işlevini tanımlayan kitaplığı, profilleme etkinleştirilmiş olarak derleyin ve daha sonra TH işlevinin GHC seçenekleri -fexternal-interpreter -opti+RTS -opti-p ile birleşiminde TH işlevini kullanan kodu * derleyin. Bu, ghc-iserv-prof.prof adlı bir dosya oluşturmalıdır.

Bu yaklaşım, Q monad'ın tüm işlevlerini kullanabilmeniz avantajına sahiptir.

* TH kütüphanesi (ancak farklı bir hs-source-dir) ile aynı kabaca projede bir benchmark paketi de çalışır. Aynı kitaplıkta tanımlanmış ve kullanılmış bir TH işleviyle bile çalışabilir, ancak sonradan yorumlanmış bir kod oluşturacaksınız.