Escribí este pequeño fragmento de Haskell para descubrir cómo GHC demuestra que para los números naturales, solo puedes dividir a la mitad los pares: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family...
Es bien sabido que los functores aplicativos están cerrados bajo composición, pero las mónadas no. Sin embargo, he tenido problemas para encontrar un contraejemplo concreto que muestre que las mónadas no siempre componen. Esta respuesta da [String -> a]como ejemplo de una no mónada. Después...
Vi esta pregunta y sentí curiosidad por saber cuál era el lema de bombeo ( Wikipedia no ayudó mucho). Entiendo que es básicamente una prueba teórica que debe ser cierta para que un idioma esté en una determinada clase, pero más allá de eso, realmente no lo entiendo. ¿Alguien quiere tratar de...