«continuations» etiketlenmiş sorular

Statik-tek atama (SSA) hakkındaki Wikipedia sayfasına göre , SSA, LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey ve V8 gibi büyük ve iyi bilinen projeler tarafından kullanılırken, devam eden stili kullanan projelerdeki sayfa (CPS) karşılaştırıldığında biraz eksik. CPS'nin öncelikle işlevsel dilleri uygulayan derleyiciler ve tercümanlar tarafından tercih edildiğini düşünüyorum - özellikle Haskell …

16 compilers  program-optimization  continuations 

F # Öğrenme ile ilgili bir yorumda : Diğer programlama dillerini kullanan hangi kitaplar fonksiyonel kavramları öğrenmek için F # 'a çevrilebilir? Makarius şunları söyledi: "CPS" yaklaşımının SML / NJ'deki performansa büyük zarar verdiğini unutmayın. Fiziksel değerlendirme modeli, donanıma dahil edilmiş çok fazla varsayımı ihlal eder. Isabelle / HOL gibi …

11 compilers  functional-programming  proof-assistants  continuations 

Programlama dilleri için uygulama tekniklerini araştırıyorum ve son zamanlarda, sözde bir devam geçen stil modeli (örneğin Scheme ve SML / NJ'de kullanımları göz önüne alındığında) için uygun olan spagetti yığınlarına rastladım . Basitçe söylemek gerekirse, bu soru için sadece tek iş parçacıklı süreçleri ele alalım. Ancak, Wikipedia'daki diyagramda ( başka …

9 data-structures  programming-languages  continuations