es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Tag: HASKELL

Implementación de la transformación SKI

Necesito implementar el siguiente algoritmo para convertir Cálculo Lambda en Lógica Combinatoria. Las reglas son de https://en.wikipedia.org/wiki/Combinatorylogic#CompletenessoftheS-K_basis T[x] => x T[(E₁ E₂)] => (T[E₁] T[E₂]) T[λx.E] => (K T[E]) (si x no aparece libre en E) T[λx.x] => I T[λx.λy.E] => T[λx.T[λy.E]] (si x aparece libre en E) T[λx.(E₁ E₂)] . . . Read more