Resultados de la búsqueda a petición "church-encoding"
¿Por qué las listas de diferencias no son una instancia de plegable?
lospaquete dlist contiene el
¿Es posible usar codificaciones de la iglesia sin romper el razonamiento equitativo?
Cuidado con este programa: {-# LANGUAGE RankNTypes #-} import Prelude hiding (sum) type List h = forall t . (h -> t -> t) -> t -> t sum_ :: (Num a) => List a -> a sum_ = \ list -> list (+) 0 toList :: [a] -> List a toList = \ list cons nil -> ...
¿Cómo uso la codificación de la Iglesia para mónadas gratis?
He estado usando elFree tipo de datos enControl.Monad.Free desde elfree paquete. Ahora estoy tratando de convertirlo para usarF enControl.Monad.Free.Church pero no puedo entender cómo mapear las funciones. Por ejemplo, una función de ...
Lista codificada de cola de iglesia más eficiente
Esta es una publicación literaria de haskell. Simplemente guárdelo como "ChurchList.lhs" para ejecutarlo. > {-# LANGUAGE Rank2Types #-}Una lista codificada de la Iglesia es una forma de representar una lista a través de una función. Se asemeja ...
Función rápida de orden superior (par de iglesia, también conocido como contras) con tipos de parámetros genéricos que no aceptan tipos de parámetros de entrada
Estaba jugando con la programación funcional en Swift 2.1, tratando de implementar elPar de codificación de iglesia / contras [https://en.wikipedia.org/wiki/Church_encoding#Church_pairs]función (contras [https://en.wikipedia.org/wiki/Cons]= λx λy ...