Edición de «Práctica 2 (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 110: | Línea 110: | ||
a) ∅ . if true then 0 else succ(0) : Nat | a) ∅ . if true then 0 else succ(0) : Nat | ||
b) {x : Nat, y : Bool} . if true then false else (λz : Bool. z) true : Bool | b) {x : Nat, y : Bool} . if true then false else (λz : Bool. z) true : Bool | ||
c) ∅ . if λx: Bool. x then 0 else succ(0) : Nat | c) ∅ . if λx: Bool. x then 0 else succ(0) : Nat | ||
Falta el resto del cuerpo del if ya que se agrupa de izq pero el lambda se come toda la expresión si no se le ponen parentesis. | Falta el resto del cuerpo del if ya que se agrupa de izq pero el lambda se come toda la expresión si no se le ponen parentesis. | ||
d) {x : Bool → Nat, y : Bool} . x y : Nat | d) {x : Bool → Nat, y : Bool} . x y : Nat | ||
== Ejercicio 6 == | == Ejercicio 6 == |