Вопросы с тегом «proof»

Я написал этот небольшой фрагмент Haskell, чтобы выяснить, как GHC доказывает, что для натуральных чисел вы можете уменьшить вдвое только четные: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Я видел этот вопрос , и мне было любопытно, что это за лемма о перекачке ( Википедия мало помогла). Я понимаю, что это в основном теоретическое доказательство, которое должно быть истинным, чтобы язык принадлежал определенному классу, но кроме этого, я этого не понимаю. Кто-нибудь хочет попытаться объяснить это на довольно …

82 theory  proof  pumping-lemma