julio 27th, 2010
Es indudable el enorme crecimiento que están teniendo los lenguajes funcionales en los últimos años y su aplicabilidad (y aplicación!) en los sectores industriales…. Ericsson, Ilog, … etc.
La razón fundamental para ese crecimiento puede estar en la sencillez de su programación y en la brevedad de su código. Si consideramos que el número de errores de un código es proporcional al número de líneas escritas, ésto último lo hace más fiable que la mayoría de los paradigmas existentes.
Para demostrar la sencillez de programación, cada día van saliendo más material que nos ayuda a acercarnos a estos lenguajes. Lo último en aparecer ha sido un tutorial interactivo via web que nos da unas nociones de Haskell y que deja entrever su potencia:
http://tryhaskell.org/
Pruébalo y comenta tus sensanciones! (sobre él, claro.)
Posted in General | Comments Off on Tutorial rápido de Haskell
junio 22nd, 2010
Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/
Posted in General, Verificación | Comments Off on La realidad de los métodos formales… ¿nueva era?
junio 20th, 2010
A partir de este Lunes 21 las tutorías tendrán lugar en mi despacho de La Rábida.
Despacho 7. Edificio Torreumbría.
En los horarios habituales.
Posted in Docencia, General, Tutorías | Comments Off on Tutorías en La Rábida
junio 20th, 2010
Aunque todavía cuenta con muchos incrédulos, la programación funcional(PF) está irrumpiendo fuerte en el mercado industrial, y en este caso, en el sector de los microprocesadores y código a bajo nivel.
Esta noticia está extraida de BarraPunto, y sólo recordar que los procesadores Cell BE(desarrollados por Sony, IBM y Toshiba) son los que montan máquinas como PlayStation3, Servidores Blade y otras máquinas de alto rendimiento.
“Coconut es un sistema para desarrollar software muy seguro y con un alto rendimiento escrito en Haskell. De momento ha sido usado para desarrollar una librería de funciones especiales para el procesador Cell BE, que se distribuye en el Cell BE SDK 3.0 como MASS. Su rendimiento es 4 veces mejor que la alternativa, la librería SimdMath escrita en código C con partes en ensamblador. Parece que en estos tiempos donde la paralelización es tan importante los lenguajes funcionales van a dar que hablar. En Google han dado una conferencia sobre este sistema”
Posted in General | Comments Off on P.F. Coconut: COde CONstructing User Tool
junio 16th, 2010
Las tutorías del Miércoles 16 y Jueves 17 de Junio se impartirán en La Rábida (Despacho 7, en mi despacho).
Lamento las molestias
Posted in Incidencias, Tutorías | Comments Off on Incidencia en las tutorías
mayo 30th, 2010
Hola todos,
Informaros que mis tutorías del Lunes 31 de Mayo pasan al Martes 1 de Junio.
Un saludo y disculpar las molestias.
Gonzalo A. Aranda
Posted in Docencia, Incidencias, Tutorías | Comments Off on Incidencia en las tutorías
abril 19th, 2010
Lamento no haber podido realizar la tutoría de hoy por la mañana, pero me ha sido técnicamente IMPOISIBLE!!
Primero un problema técnico con el coche, y luego gestión administrativa urgente!
La tutoría se recuperará hoy mismo por la tarde, ampliando el horario las dos horas correspondientes, por lo que el horario quedará:
Un saludo y disculpad las molestias.
Gonzalo.
Posted in Docencia, General, Incidencias, Tutorías | Comments Off on Tutoría de la mañana del lunes 19/04/2010
febrero 22nd, 2010
Hola a todos!!
Como ya avisé en mi última entrada (del blog del anterior… que pronto restauraré en algún directorio) “amenazaba con volver”…
Pues aquí estoy!! y la verdad que muy contento de empezar mi segunda etapa en esta Universidad, que espero sea igual de fructífera(en todos los sentidos) que la anterior.
Pues nada… para lo que gusteis sigo en el mismo despacho (TUPB-11) y en el mismo teléfono (959217663 – Interno:87663)
Un saludo.
Posted in General | Comments Off on De vuelta…