Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 24: |
Línea 24: |
|
| |
|
| Haskell: me pregunto la diferencia entre recursion estructural y primitiva y que de los tipos de las funciones que lo hacen en Haskell (foldr y recr) y me preguntó si podíamos escribir una en función de la otra para ambas(recr usando foldr y foldr usando recr) | | Haskell: me pregunto la diferencia entre recursion estructural y primitiva y que de los tipos de las funciones que lo hacen en Haskell (foldr y recr) y me preguntó si podíamos escribir una en función de la otra para ambas(recr usando foldr y foldr usando recr) |
|
| |
|
| |
| ---
| |
|
| |
| Prolog: generarme las rotaciones de una lista. Sea L=[1, 2,3] => [[1,2,3],[2,3,1],[3,1,2]]
| |
|
| |
| Lambda: saber perfectamente el tema de las sustituciones. Dado un término U sin tipos que es tipable, osea Erase(M) = U con M tipable , si hago una sustitución por U' que no se si es tipable o no. Será tipable el resultado de esa sustitución en U?
| |
|
| |
| Haskell: dar los tipos de foldr y recr.
| |
| Se pueden implementar uno en función del otro?
| |
| Hice el foldr en función de recr. Al final el otro solo me dijo que le diga la idea, las tuplas y eso. Me pregunto por la notación infija posible para hacer foldr con recr. Al estilo map f = foldr ((:).f)
| |
|
| |
| Martelli Montanari: cual sería la especificación del algoritmo, osea que precondiciones y post condiciones. Onda, decir que espera como input, que da como salida. No hablar de las reglas si no, la especificación.
| |
|
| |
| Occur check
| |