Kısa ve tatlı: çeşitli kaynaklardan söz gördüm"". supercompilation Ama henüz tek bir belge her yerde açıklayan İnternet yüzünde bulmalıyımbu ne. Açıklamaya bile değmez bunun için yeterince basit görünüyor, çünkü muhtemelen her kimse.

Kimse bunun aslında ne olduğunu bilen var mı?

Supercompilation kısmi değerlendirme genelleme olarak yaklaşılabilir. Kısmi değerlendirme arkasındaki fikir bir program birçok yerinde derleme zamanında değerlendirilebilir, ve olmalıdır. Supercompilation uzanır bu, değerlendirmek size olmayacak şeyleri tam olarak yapılması derleme zamanında da, gibi dönüm map f (map g xs) map (f . g) xs olmadan başka birşey tanımı map (En azından bence var kısmi değerlendirme doğru - okunur hakkında çok şey supercompilation).

Ona bakmak için başka bir yol diğer birçok iyileştirmeler, ormanların yok olması, ihtisas ve satır içi uygulaması gibi bir arada gibi. Hareket ederek sanki zaten biliyordu girişlerine fonksiyonları ve değerlendirilmesi, onu almak daha doğrudan bir yöntem hesaplanması sonucu olabilir kurtulmak için ara veri yapıları görerek nasıl kullanılacak ya tak tüm olası değerler ve şal sonucu bir case veya başka bir şey ile onun gibi değerler.

Max Bolingbroke konuyla ilgili yararlı bir takım yazılar var - Birincisi, Supercompilation by Evaluation, bir giriş olarak tavsiye ederim. Bölüm 2 biraz zor, süreç hakkında çok bilgilendirici olsa da örnek ve diğerleri tarafından konu tanıtır. Neil Mitchell de number of good presentations nitelendirerek vardır.

Umarım yardımcı olmuştur.