«proof» 태그된 질문

GHC가 자연수의 경우 짝수를 반으로 만 줄일 수 있음을 어떻게 증명하는지 알아 내기 위해이 작은 하스켈을 썼습니다. {-# 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 

응용 펑 터는 컴포지션에서 닫히지 만 모나드는 그렇지 않다는 것은 잘 알려져 있습니다. 그러나 모나드가 항상 구성하는 것은 아니라는 구체적인 반례를 찾는 데 어려움을 겪었습니다. 이 대답 은 [String -> a]비 모나드의 예입니다. 잠시 놀아 본 후 직관적으로 믿었지만 그 대답은 실제로 정당화하지 않고 "조인을 구현할 수 없습니다"라고 말합니다. 좀 …

82 haskell  monads  composition  proof 

나는 이 질문을 보고 펌핑 기본형 이 무엇인지 궁금했습니다. 위키피디아 는별로 도움이되지 않았습니다). 기본적으로 언어가 특정 클래스에 속하기 위해서는 사실이어야하는 이론적 증거라는 것을 이해하지만 그 이상으로는 이해하지 못합니다. 비 수학자 / Comp sci 박사가 이해할 수있는 방식으로 상당히 세분화 된 수준에서 설명하려고하는 사람이 있습니까?

81 theory  proof  pumping-lemma