Ejercicios para el día 1

18 views
Skip to first unread message

Alejandro

unread,
Jul 25, 2011, 4:54:57 PM7/25/11
to ECI 2011 security
Hola a todos!

Puse los ejercicios en linea para el día 1 en la sección "Exercises"
de la página web.

<http://www.cse.chalmers.se/~russo/eci11/exercises/>

Les recomiendo que traten de hacer los ejercicios 1 y 2 para mañana.
Los estudiantes mas ambiciosos pueden hacer el numero 3 también.

Saludos,
Alejandro

Juanjo Conti

unread,
Jul 26, 2011, 9:04:47 AM7/26/11
to eci-2011...@googlegroups.com
Luego de implementar la solución para el punto 2, al intentar
probarla, obtengo este error:

*Overview> Arg == Arg

<interactive>:1:4:
Ambiguous occurrence `=='
It could refer to either `Overview.==', defined at Module.hs:6:4
or `Prelude.==', imported from Prelude

A alguien le pasó algo similar? No pongo mi código para no spoilear el
resultado del ejercicio pero calculo que alguien ducho en Haskell me
puede orientar.

El día 25 de julio de 2011 17:54, Alejandro
<alejand...@gmail.com> escribió:

--
Juanjo Conti
blog: http://www.juanjoconti.com.ar

Juanjo Conti

unread,
Jul 26, 2011, 12:19:09 PM7/26/11
to eci-2011...@googlegroups.com
Era por un problema de identación. Gracias.

Julieta Palma Schlaps

unread,
Aug 2, 2011, 2:06:18 PM8/2/11
to eci-2011...@googlegroups.com
Hola a todos!

Estoy teniendo un problema para instalar la libreria seclib.
Cuando ejecuto 'cabal update' dice lo siguiente:
"Downloading the latest package list from hackage.haskell.org
cabal: Codec.Compression.Zlib: premature end of compressed stream"

y si ejecuto 'cabal install seclib':
"Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal
update' to download it.
cabal: There is no package named 'SecLib'.
You may need to run 'cabal update' to get the latest list of available packages."

porque nunca descargó nada...

Estoy trabajando en Windows 7.
Se agradece cualquier ayuda!!

Saludos, Julieta Palma.

Juanjo Conti

unread,
Aug 2, 2011, 3:04:01 PM8/2/11
to eci-2011...@googlegroups.com
Hola,

estás atrás de un proxy? Busqué tu error en Internet y encontré esto: http://hackage.haskell.org/trac/hackage/ticket/562

Julieta Palma Schlaps

unread,
Aug 2, 2011, 4:40:13 PM8/2/11
to grupo t3
Gracias por tu respuesta!
No estoy usando proxy... Leí de esa página y de otras y hasta ahora no pude resolver nada.


From: jjc...@gmail.com
Date: Tue, 2 Aug 2011 16:04:01 -0300
Subject: Re: [ECI-2011-T3] Ejercicios para el día 2
To: eci-2011...@googlegroups.com

Juanjo Conti

unread,
Aug 2, 2011, 4:44:48 PM8/2/11
to eci-2011...@googlegroups.com

En Ubuntu anda bastante directo. Tal vez te convenga probar con una máquina virtual o la de un amigo que tenga este SO.

Juanjo Conti

El ago 2, 2011 9:40 p.m., "Julieta Palma Schlaps" <julie...@hotmail.com> escribió:

Gracias por tu respuesta!
No estoy usando proxy... Leí de esa página y de otras y hasta ahora no pude resolver nada.


From: jjc...@gmail.com
Date: Tue, 2 Aug 2011 16:04:01 -0300
Subject: Re: [ECI-2011-T3] Ejercicios para el día 2
To: eci-2011...@googlegroups.com



Hola,

estás atrás de un proxy? Busqué tu error en Internet y encontré esto: http://hackage.haskel...

Julieta Palma Schlaps

unread,
Aug 2, 2011, 4:51:20 PM8/2/11
to grupo t3
Si, acá me pase a la MV.. Veremos qué pasa... Gracias!!
Saludos, Julieta.


Date: Tue, 2 Aug 2011 17:44:48 -0300
Subject: Re: RE: [ECI-2011-T3] Ejercicios para el día 2
From: jjc...@gmail.com
To: eci-2011...@googlegroups.com

Gonzalo

unread,
Aug 5, 2011, 3:28:56 PM8/5/11
to ECI 2011 security
Hola recien estuve probando las funciones del ejercicio 1 de la
practica del día dos, y quería ver los resultados en pantalla.
Para poder hacerlo, hice IO() dentro de la monada Sec.

1- Agregue esta funcion

func' :: Sec H Int -> Sec H (IO ())
func' sec_c = do c <- sec_c
return $ do putStrLn (show c)

al módulo "SideEffectsSecU.hs" y lo importe.

2- Para probar los resultados, luego de haber compilado, en el ghc
puse :

*Main> reveal $ binToInt (map return [True,True, True, False,True])
23

--reveal esta en Trustworthy

Espero que a alguno le sirva. Saludos.
Reply all
Reply to author
Forward
0 new messages