Preguntas con respuestas sobre "church-encoding"

Me refiero a esta pregunta...

La codificación de la iglesia (también conocida como patrón de visitante) es una forma de representar los datos como funciones: en lugar de...

Tuve que implementar la función de mapa haskell para trabajar con listas de iglesias que se definen de la siguiente manera: ...

El libro Estructura e interpretación de programas informáticos que he estado leyendo presenta los números de la Iglesia definiendo cero y una función de incremento ...

Los números de la iglesia se pueden expresar en C ++ 0x (¿C ++ 11?) Usando las nuevas partes lambda del lenguaje usando algo como esto: ...

Estoy intentando implementar los números de la iglesia en Haskell, pero he encontrado un problema menor. Haskell se queja de un tipo infinito con ...

Estoy trabajando con SICP y el problema 2.6 me ha puesto en una especie de dilema. Al tratar con los numerales de la Iglesia, el concepto de codificar cero y 1 como funciones arbitrarias que satisfacen ciertos axiomas parece tener sentido. Además, derivando la formulación directa de números individuales ...

Estoy practicando con SML y estoy haciendo una pequeña tarea en la que tenemos que implementar los números de la Iglesia definidos como: ...

Estoy atrapado en el siguiente paso. Sería genial si alguien me pudiera ayudar: ...

Puedo definir los números de la iglesia con bastante facilidad usando el esquema: ...

He estado tratando de averiguar cómo implementar tipos de datos codificados por Church en Scala. Parece que requiere tipos de rango n, ya que necesitaría una función constante de primera clase de tipo para Todos a. a -> (para Todos b. b -> b). ...