Çekirdek DZD Ara dildir. Temel okuma daha iyi programın performansını anlamanıza yardımcı olabilir. Biri belgeleri istedi ya da Temel okuma dersler, ama fazla bir şey bulamadım.

Hangi belgelere DZD Core okuma için kullanılabilir?

Şimdiye kadar bulduğum şey şu:

• Write Haskell as fast as C: exploiting strictness, laziness and recursion
• Haskell as fast as C: working at a high altitude for low level performance
• RWH: Chapter 25. Profiling and optimization
• High-Performance Haskell talk at CUFP (slayt 65-80)

DZD Çekirdek içine hepsi Haskell çevrilir System FC dilidir. Çekirdek için (yaklaşık) dilbilgisi ise

Çekirdek yakından daha basit ve iyi bilinen System F ile ilgili. transformations GHC does on the Core level her tür koruyarak bu Temel temsil refactorings, performansını artırmak için. Ve, çok iyi bilinen değil, doğrudan program DZD Çekirdek yazabilirsiniz.

DZD Çekirdek derleyici boru hattı 2002, sans-LLVM ve ÜRÜN olduĞu gİbİ () uyar:

Birincil belgeler DZD Çekirdek hakkında bilgi için:

• An External Representation for the GHC Core Language,, 2001 Tolmach
• ghc/compiler/CoreSyn, DZD tanımı kendisi
• Secrets of the Glasgow Haskell Compiler inliner1999'da Jones , Peyton. Çekirdek Bölümünde olay analizi ek açıklamalar ile ilgili ayrıntılar da dahil olmak üzere 2.3, açıklanmıştır.
• A transformation-based optimiser for Haskell1998'de Jones , Peyton. Çekirdek Çekirdek polimorfizmi ve operasyonel ölçümleri bir tartışma da dahil olmak üzere S3, açıklanmıştır.

Anlaşılmasına yardımcı olabilir bu malzeme ile ilgili

• GHC -fext-core output
• DZD kaynak okuyarak zaman öğrenme Çekirdek harcadım. Bazı ** 12 sayfa 16 2002, benim açıklanmıştır.
• Çekirdek bir biçimde oluşturmak için ghc-core aracını kullanarak hoş buluyorum.

Sırayla Core şöyle STG kodu, tercüme:

Çekirdek komik isimleri kodlanmış "Z-kodlama":

Çekirdek türleri ve çeşitleri (Tolmach kağıt) DZD:

Son olarak, DZD primops düzenli olarak temel talimatları DZD aşağı Haskell biliyor optimize zaman DZD Çekirdek çıktı ortaya. Primop set a pre-processed file. Temel işlevleri bir dizi olarak verilir