Edición de «Final 14/12/2023 (Paradigmas)»
De Cuba-Wiki
Revisión del 14:36 17 ene 2024 de 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (Página creada con «1)Haskell: Ejercicio idéntico a otro final. Te dice que hay un tipo de datos recurisvo: D a Tal que foldD::(a - >b - >) -> D a -> b También te dice que tensa un elemento unD:: D Int Y te da: foldD (+) unD Decir si es verdadero o falso que: la expresión tipa pero independientemente de como se defina unD, nunca termina. 2) También, ejercicio similar ya tomado Cambian la regla E-PredSucc por una qué hace: pred(succ(N)) -> N Decir si se pierden alguna, ni una o amba…»)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
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.