«proof» etiketlenmiş sorular

Bu küçük Haskell parçasını, GHC'nin doğal sayılar için yalnızca çiftleri yarıya indirebileceğinizi nasıl kanıtladığını anlamak için yazdım: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Kompozisyon altında uygulama işlevlerinin kapalı olduğu ancak monadların kapalı olduğu iyi bilinmektedir. Bununla birlikte, monadların her zaman beste yapmadığını gösteren somut bir karşı örnek bulmakta zorlanıyorum. Bu cevap , [String -> a]monad olmayan bir örnek olarak verir . Bir süre onunla oynadıktan sonra, sezgisel olarak inanıyorum, ancak bu cevap, gerçekten …

82 haskell  monads  composition  proof 

Bu soruyu gördüm ve pompalayan lemmanın ne olduğunu merak ettim ( Wikipedia pek yardımcı olmadı). Bunun temelde bir dilin belirli bir sınıfta olması için doğru olması gereken teorik bir kanıt olduğunu anlıyorum, ama bunun ötesinde gerçekten anlamıyorum. Bunu matematikçi olmayanlar / comp bilim doktorları tarafından anlaşılabilir bir şekilde oldukça ayrıntılı …

82 theory  proof  pumping-lemma