«functional-programming» etiketlenmiş sorular

Belki de Haskell'deki ana performans sorunlarının kaynağı, bir programın yanlışlıkla sınırsız derinlikte bir yığın oluşturmasıdır - bu, değerlendirme sırasında hem bellek sızıntısına hem de potansiyel yığın taşmasına neden olur. Klasik örnek sum = foldr (+) 0Haskell'de tanımlamaktır . Tembel bir dil kullanan bir programda bu tür gövdelerin eksikliğini statik olarak …

10 type-theory  functional-programming  program-verification 

Basit yazılan lambda terimlerinin beta eşitliğinin karar verilebileceğini biliyoruz. M, N: σ → τ verildiğinde, tüm X: σ, MX NX için karar verilebilir mi ?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Aşağıdaki veri yapıları hakkında biraz okudum: Bagwell'in İdeal Karma Denemeleri Larson's Dynamic karma tabloları Kırmızı-Siyah ağaçlar Patricia ağaçları ... ve eminim dışarıda bir sürü başka var. Her birinin neye daha uygun olduğuna ya da neden birini diğerine tercih ettiğime dair çok az şey gördüm. İşte, bu satırlar boyunca birkaç soru: …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego bir programlama dönüşüm dilidir / DSL'i Yeniden Yazmaktır. Anthony Sloane, Scala üzerinde çalışan bir uygulama yaparak bazı çalışmalar yaptı . İşlevsel bir dil olarak Stratego'nun teorik sınırları nelerdir? (uygulamadan bağımsız olarak). Stratego'da bir başvuru emri hazırlayıcısı yazılabilir mi?

10 functional-programming 

Bunu duymamış eğer Fötus, üzerinde okunabilir burada . Bir fonksiyondaki özyinelemeli çağrıların tüm 'özyineleme davranışlarını' bulmak için bir 'çağrı matrisleri' ve 'çağrı grafikleri' sistemi kullanır. Bir fonksiyonun sonlandığını göstermek için, bir fonksiyona yapılan özyinelemeli çağrıların tüm özyineleme davranışlarının belirli bir 'sözlükbilimsel sıralamaya' uyduğunu gösterir. Sonlandırma denetleyicisi tüm ilkel özyinelemeli işlevlere …

9 lo.logic  computability  functional-programming 

Üstüne bir tip sistemi eklemeye gerek kalmadan, güçlü normalleşen lambda hesabına benzer bir sistem var mı?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Bildiğim kadarıyla, tip sınıfları kısıtlamaları olan bir Haskell işlevi dahili olarak, her bir belirli sınıf sınıfının gerekli uygulamaları ile sözlükler alan ek argümanlara sahip bir işleve derlenir. Sınıf sınıflarını derlemenin başka olasılıkları var mı? Eğer öyleyse, (dis) avantajları nelerdir? Ve hangi derleyiciler bunları kullanıyor?

9 pl.programming-languages  functional-programming  compilers  type-systems