UTNianos

Acá les dejo el parcial de hoy. Fue bastante sencillo.

JAJAJAJAJAJAJA EL ICONO DE PROHIBIDO GUITARREAR JAJAJAJAJAJAJA

No pueden callar la guitarra de Lolo, es algo inaceptable. JAJA.
Gracias por el aporte!.

alguien sabe como hacer lo del tipado? Está bien así?:

 

o:: (a->b) -> (a->b) -> c

(12-02-2016 17:40)Trisky escribió: [ -> ]alguien sabe como hacer lo del tipado? Está bien así?:

 

o:: (a->b) -> (a->b) -> c

Compilar y ejecutar código

No.

Este es su tipo:
o :: (b -> b -> c) -> (a -> b) -> a -> a -> c

La forma mas facil de evaluar su tipo es usando la herramienta WinGHci (u otro) y poner en el prelude.

 let o f g x y = f (g x) (g y)

Luego consulta su tipo de la funcion o:

 :t o

Respuesta:

 o :: (t1 -> t1 -> t) -> (t2 -> t1) -> t2 -> t2 -> t

Ante la duda siempre esta prueba me salvaba