Edición de «Práctica 1 (Paradigmas)»
De Cuba-Wiki
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 298: | Línea 298: | ||
=== I === | === I === | ||
foldNat :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer | foldNat :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer | ||
foldNat f x | foldNat f x 1 = x | ||
foldNat f x n = f x (foldNat f x (n-1)) | foldNat f x n = f x (foldNat f x (n-1)) | ||
=== II === | === II === | ||
potencia :: Integer -> Integer -> Integer | potencia :: Integer -> Integer -> Integer | ||
potencia x = foldNat (\y res-> | potencia x n = foldNat (\y res-> y * res) x n | ||
== Ejercicio 18 == | == Ejercicio 18 == |