Historias
Slashboxes
Comentarios

Barrapunto

Secciones

Este hilo ha sido archivado. No pueden publicarse nuevos comentarios.

"Sobre la crueldad de enseñar computación", en castellano | Log in/Crear cuenta | Top | 61 comentarios | Buscar hilo

Y recuerda: Los comentarios que siguen pertenecen a las personas que los han enviado. No somos responsables de los mismos.

Re:Resumen
(Puntos:1)

por pezezin (11919) <reversethis-{se.oohay} {ta} {46nizezep}> el Domingo, 30 Julio de 2006, 21:53h (#787116)
( http://barrapunto.com/ | Última bitácora: Viernes, 17 Noviembre de 2006, 23:39h )

Aunque como dicen por ahí arriba uno de los problemas de la verificación es que para programas grandes es costosa, lo peor creo yo que es la gran cantidad de efectos colaterales que puede tener cada acción... eso es para volver loco a cualquiera.

Para eso se inventó la programación funcional pura. Estoy seguro de que infinitamente más sencillo verificar un programa en Haskell que uno en C.

--

Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn!

[ Padre ]
1 respuesta por debajo de tu umbral de lectura actual.