Estoy trabajando a través de SICP, y el problem 2.6 me ha puesto en un dilema. Al tratar con los numerales de la Iglesia, el concepto de codificar cero y 1 como funciones arbitrarias que satisfacen ci
He estado tratando de encontrar la manera de implementar los tipos de datos codificados por Church en Scala. Parece que requiere tipos rango-n ya que necesitaría una función de primera clase const del
que tenían que implementar la función de mapa de Haskell para trabajar con las listas de la iglesia que se definen de la siguiente manera: type Churchlist t u = (t->u->u)->u->u
En el cálculo lambda,
Iglesia (también conocido como patrón Visitante) es una forma de representar los datos como funciones: en lugar de data T = C1 F1 F2 | C2 F3 F4
puede definir data T = T (forall r. (F1 -> F2 -> r) ->