1
Bu GHC Çekirdeği “kanıtı” nasıl okunur?
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 …