«haskell» etiketlenmiş sorular

In Turing Bütünlük bu wikipedia makalesinde bu belirtmektedir: Yazılmamış lambda matematiği Turing tamamlandı, ancak Sistem F de dahil olmak üzere birçok tipte lambda matematiği yok. Yazılan sistemlerin değeri, daha fazla hata algılayarak en tipik bilgisayar programlarını temsil etme yeteneklerine dayanır. F sistemi tarafından hesaplanamayan bir toplam hesaplanabilir fonksiyon örneği nedir …

28 computability  turing-machines  haskell 

ACSL (Ansi C Spesifikasyon Dili), C kodunun resmi olarak doğrulanmasını sağlayan özel yorumlarla not edilen C kodunun bir özelliğidir. Araştırmamıştım , ancak ACSL doğrulayıcılarında kullanılan resmi yöntemlerin Hoare Logic'e benzer olacağını hayal ediyorum. Haskell gibi saf işlevsel diller için, resmi doğrulama için ne tür bir formalizmin kullanılacağını hayal edemiyorum. ACSL'ye …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Ghc'nin Haskell'i birleştirici mantık gibi sıralı bir programlama diline çevirmesini ve daha sonra her şey için yığın tahsisini kullanmasını engelleyen nedir? Wikipedia'ya göre, lambda hesabından birleştirici mantığa çeviri önemsizdir ve ayrıca, birleştirici programlama dilleri sadece bellek tahsisi için bir yığına güvenebilir. Bu çeviriyi yapmak ve böylece Haskell ve ocaml gibi …

14 functional-programming  haskell 

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Takip Etme MonadPlus olmayan ancak alternatif olan bir Monad örneği nedir? : Varsayalım bir tek hücreli olup. İlişkiler betweem nelerdir m bir varlık Alternatif bir MonadPlusCatch ve MonadPlusDistr ? mmmmmmAltı olası çiftin her biri için ya birinin diğerini ima ettiğine dair bir kanıt ya da buna karşı olmayan bir karşı …

12 pl.programming-languages  functional-programming  haskell  monad  applicative