Hoy hicimos el siguiente ejercicio:
Hicimos un pequeño ejercicio de inferencia: fLoca x y algo otraCosa | x > y = abs algo | otherwise = abs otraCosa En el que se vio que:
Entonces: fLoca :: (Num b, Ord a) => a -> a -> b -> b -> b Tarea
|
02/05 - Restricciones de tipo y Polimorfismopublicado a la(s) 2 may 2019 13:37 por Alf Sanzo [ actualizado el 2 may 2019 14:06 ]
|