--------------------------------------------------------------------------- Boletín de Noticias Haskell Semanal (Haskell Weekly News) http://haskell.org/haskellwiki/HWN (Inglés) http://www.haskell.org/haskellwiki/HWN/es (Español) Entrega 49 - 14 de Noviembre, 2006 --------------------------------------------------------------------------- Bienvenido a la entrega número 48 de la HWN, un boletín semanal cubriendo los desarrollos en la comunidad Haskell. Esta semana vemos el anúncio de un proyecto de un compilador Haskell a JavaScript, y se completo el reacondicionamiento de la maquinaria de clases de tipo de GHC. Anúncios * Compilando Haskell a Javascript: YCR2JS. Dimitry Golubovsky [1]anúncio Ycr2js, un sub-proyecto dentro del proyecto del compilador [2]York Haskell Compiler (Yhc). Tiene como objetivo crear una herramienta para convertir un programa Haskell arbitrario hacia Javascript el cual a su vez puede ser ejecutado en cualquier Web browser. Con una gran cantidad de ayuda del equipo de Yhc, el convertidor ha sido integrado dentro del proyecto Yhc, y las etapas iniciales de programación y desarrollo han sido completadas. [3]Más documentación. 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14471 2. http://darcs.haskell.org/yhc 3. http://haskell.org/haskellwiki/Yhc/Javascript * System.FilePath 0.10. Neil Mitchell [4]anúncio System.FilePath 0.10, el cual probablemente está bastante cerca al final. [5]Esta librería manipula FilePath's correctamente en tanto Posix y Windows. 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14467 5. http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#filepath * Amplio recondicionamiento de las clases de tipo. Simon Peyton-Jones [6]mencionó que por algo de tiempo el ha estado prometiendo un recondicionamiento de la maquinaria de la inferencia de tipo de GHC para reparar las interacciones entre clases de tipo y GADTs. Este recondicionamiento ya ha sido completado, y los cambios visibles al usuario han sido específicados, incluyendo: la inferencia de tipo de GHC esta completa, la restricción de que cada signatura de tipo debe mencionar al menos una de las variables de tipo cuantificada se ha removido, los diccionarios son empaquetados en los constructoes de dato y la propia interacción entre GADTs y las clases de tipo son ahora respetadas. 6. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11192 * Implementando el cálculo lambda. Lennart Augustsson [7]escribió acerca de implementar intérpretes para el cálculo lambda en Haskell. para [8]experimentar con diferente métodos de implementación. 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/16490 8. http://darcs.augustsson.net/Darcs/Lambda/ * La gran competición de lenguajes: recargado. Don Stewart [9]mencionó que ahora [10]GHC 6.6 está disponible en las máquinas de la competición, el tiempo ha llegado para mejorar las existentes entradas del [11]lenguaje en la misma. Mejoras pueden ser publicadas en la [12]wiki para revisión. 9. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16454/focus=16454 10. http://haskell.org/ghc 11. http://shootout.alioth.debian.org/ 12. http://www.haskell.org/haskellwiki/Great_language_shootout Haskell' Esta sección cubre el proceso de estandarización de [13]Haskell'. * [14]Overloading string literals * [15]Annotation systems 13. http://hackage.haskell.org/trac/haskell-prime 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1882/focus=1882 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1889/focus=1889 Librerías Las propuestas de esta semana y extensiones a la librería [16]estándar. * [17]Adding Kleisli composition to Control.Monad * [18]Add ranged sets * [19]Add unsafeCoerce 16. http://haskell.org/haskellwiki/Library_submissions 17. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5640/focus=5640 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5635/focus=5635 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5611/focus=5611 Discusión * Escogiendo una librería GUI para Haskell. Bulat Ziganshin [20]pidió un consejo acerca de cuál librería gráfica para Haskell usar. Varias sugerencias fueron hecha. 20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16497/focus=16497 Rodeo de conferencias Simposio Asiático en Lenguajes de Programación y Sistemas (APLAS 2006) * Procesamiento de tipo por razonamiento de restricción. Peter Stuckey. [21]Trabajo. * Inferencia de tipo principal para el estilo de GHC de clases de tipo multi-parámetros. Martin Sulzmann, Tom Schrijvers y Peter J Stuckey. [22]Trabajo. * Prueba automática de funciones de orden superior. Pieter Koopman y Rinus Plasmeijer. [23]Trabajo. 21. http://www.cs.mu.oz.au/~pjs/papers/aplas06i.pdf 22. http://www.comp.nus.edu.sg/~sulzmann/publications/ghc-mptc-inf.ps 23. http://www.st.cs.ru.nl/papers/2006/koop2006-TestingOfHigherOrderFunctionsAPLAS.pdf Trabajos * Posición de investigación acerca de cognición espacial (relacionado a Haskell). Till Mossakoski [24]anúncio la disponibilidad de una posición para Asistente de Investigación de Doctorado / Investigador de Postdoctorado en la universidad de Bremen, referente con la clasificación y formalización de calculi cualitativo especial, relaciones alrededor de este calculi, ontología espacial, y gráfos de ruta. [25]Más información. 24. http://article.gmane.org/gmane.comp.lang.haskell.general/14469 25. http://www.sfbtr8.uni-bremen.de/i4.html Ruídos del blog [26]Noticias Haskell desde la blogosphere (Inglés mayoritariamente.). * [27]Getting real with Haskell * [28]A Simple RPN Calculator in Haskell * [29]One more grunt trying to learn Haskell * [30]Testing Telecoms Software with Quviq QuickCheck * [31]Quviq QuickCheck: A new automated testing tool * [32]My first Haskell adventure game! 26. http://planet.haskell.org/ 27. http://therning.org/magnus/archives/219 28. http://jcreigh.blogspot.com/2006/11/simple-rpn-calculator-in-haskell.html 29. http://monad.carnalreason.org/wordpress/?p=4 30. http://lambda-the-ultimate.org/node/1827 31. http://blog.lab49.com/?p=703 32. http://jpmoresmau.blogspot.com/2006/11/my-first-haskell-adventure-game.html Frases de la semana * dylan: Recuerdo haber aprendido acerca de lambdas (en perl) de programando perl, 2nd edición. Las usé fuertemente desde entonces ... cómo una clase de adicción a la cocaína. * jdunck: Cuál es tú palabra segura? (safeword) * sketerpot: Con tipado estricto, tú necesitas un palabra *insegura*. * Binkley: Puedes representar 'más idiota que Slashdot' con un entero de 32-bit? * Robert Dockins: Un verificado de tipo Turing compatible no es suficiente! Nuestro trabajo no está completo hasta que el analizador es una máquina universal tambien! * dons: Desactiva el verificador de tipo en GHC por 6 meses y nosotros tendríamos 5 depuradores Haskell al final de ellos. * lennart: System Verilog es uno de los peores diseños que antes haya visto. Así que apuesto que será popular. * lispy: La principal razón para la mayoría de los desarrolladores que conozco que no reparan un bug es porque ellos no saben que existe aún. * monochrom: El tiempo vuela como una flecha. La fruta vuela como una banana. La sintaxis govierna como una macro. * robreim: [en el nuevo canal de lojban #haskell] Grandioso, ahora tenemos que comenzar un canal IRC para los hablantes lojban, programadores anarquistas de Haskell. * syntaxfree: Si , Wadlerman: Principe d elas Funkciones. Vigíla Código * 2006-11-09 17:01:33 GMT. Claus Reinke. [33] Parche de syntaxis para compaginación lambda. 33. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17645 * 2006-11-06 21:27:30 GMT. Lennart Kolmodin. [34]La nueva opción 'check' de ghc-pkg. Un parche para ghc-pkg que muestra paquetes rotos (debido a dependencias faltantes) con un nuevo comando 'check', y tambien indica paquetes rotos cuando usa el comando 'list'. 34. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17656 * 2006-11-10 13:43:26 GMT. Simon Peyton Jones. [35]Usa implicaciones de restricción para mejorar la inferencia de tipo. 35. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17665 * 2006-11-13 09:36:19 GMT. Simon Peyton Jones. [36]Agrega una re-escritura de las reglas del shift-literal. 36. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17705 Acerca del boletín semanal Haskell Cada semana, nuevas ediciones son publicadas a la lista de correo de [37]Haskell, también a la [38]Haskell Sequence y [39]Planet Haskell. [40]RSS tambien está disponible, y los titulares aparecen en [41]haskell.org. EL Boletín de Noticias Haskell tambien se encuentra [42]disponible en Español. Para ayudar a crear nuevas ediciones de este boletín, por favor lee la [43]información para contribuir. Envía historias a dons at cse.unsw.edu.au. El repositorio darcs se encuentra disponible en darcs get http://www.cse.unsw.edu.au/~dons/code/hwn 37. http://www.haskell.org/mailman/listinfo/haskell 38. http://sequence.complete.org/ 39. http://planet.haskell.org/ 40. http://sequence.complete.org/node/feed 41. http://haskell.org/ 42. http://haskell.org/haskellwiki/HWN/es 43. http://haskell.org/haskellwiki/HWN Traducción de la HWN Este es un artículo traducido de su versión original en [44]Inglés. Para colaborar con el proceso de [45]traducción semanal de la HWN, por favor enviar un correo a luis at arjox.org 44. http://www.haskell.org/haskellwiki/Haskell_Weekly_News 45. http://www.haskell.org/haskellwiki/HWN/es