--------------------------------------------------------------------------- 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 48 - 31 de Noviembre, 2006 --------------------------------------------------------------------------- Bienvenido a la entrega número 48 de la HWN, un boletín semanal cubriendo los desarrollos en la comunidad Haskell. Anúncios * SmallCheck 0.2. Colin Runciman [1]anúncio que SmallCheck 0.2, una librería de pruebas ligera para Haskell se ha entregado, y ya puede ser [2]obtenida. Desde la versión 0.1: ahora se puede elegir entre pruebas interactivas y no interactivas usando profundización iterativa; más generadores de pruebas de datos pre-definidos, incluyendo Int, Integer, Float, Double, Nat y Natural y ejemplos adicionales. SmallCheck es similar a QuickCheck pero en lugar de probar con valores generados aleatoriamente, SmallCheck prueba propiedades para todos los valores finitos hasta alguna profundidad, progresivamente incrementando la profundidad usada. 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14461 2. http://www.cs.york.ac.uk/fp/smallcheck0.2.tar * Hoogle Command Line 3 Beta. Neil Mitchell [3]entregó Hoogle Command Line versión 3 Beta, una alternativa para el sitio web [4]Hoogle. Hoogle te permite buscar funciones Haskell por nombre y prototipo. 3. http://article.gmane.org/gmane.comp.lang.haskell.general/14464 4. http://haskell.org/hoogle * The Monad.Reader. Wouter Swierstra [5]hizo el llamado para suministrar artículos para la próxima entrega de [6]The Monad.Reader. Hay un gran número de conferencias y diarios que aceptan trabajos de investigación relacionados a Haskell, desafortunadamente, la plataforma para las publicaciones no-académicas se encuentra menos desarrollada. Es aquí donde The Monad.Reader entra. Así que si tienes algunas ideas, escríbelas, y suministralas! La fecha tope para las entregas es el 19 de Enero, 2007. 5. http://article.gmane.org/gmane.comp.lang.haskell.general/14449 6. http://www.haskell.org/haskellwiki/TheMonadReader * Haskell Communities and Activities Report. Andres Loeh [7]nos recordó que la fecha límite para la edición de Noviembre 2006 del Reporte de Actividades y Comunidades Haskell es ahora! -- todavía hay tiempo para asegurarse que el reporte contiene una sección de *tu* proyecto, de las cosas interesantes que tú has estado haciendo; usando ó afectando a Haskell de alguna forma. Para más información mira [8]el anúncio para contribuciones. 7. http://article.gmane.org/gmane.comp.lang.haskell.general/14453 8. http://www.haskell.org/pipermail/haskell/2006-October/018646.html * HsMan. Frederik Eaton [9]anúncio hsman, una herramienta que genera índices de archivos HTML generados por Haddock, y permite a los usuarios buscar funciones y también tópicos del manual de GHC. 9. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 * HaL, Reunión Haskell en Leipzig. Johanner Waldman [10]anúncio que una reunión Haskell local está por llevarse a cabo el 5 de Diciembre en Leipzig, Alemania. El encuentro será hospedado por la Consultora IBA. Será bastante informal, con algunas muy breves charlas (las mayoría en Alemania). Interessenten sind herzlich eingeladen. [11]Detalles y registro (gratis). 10. http://article.gmane.org/gmane.comp.lang.haskell.general/14454 11. http://iba-cg.de/haskell.html Haskell' Esta sección cubre el proceso de estandarización de [12]Haskell'. * [13]Introduce lambda-match (explicit match failure and fall-through) * [14]Importing and exporting instance declarations * [15]Patches! 12. http://hackage.haskell.org/trac/haskell-prime 13. http://article.gmane.org/gmane.comp.lang.haskell.prime/1847 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1835/focus=1835 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1850/focus=1850 Librerías Las propuestas de esta semana y extensiones a la librería [16]estándar. * [17]unsafeShift operations for Data.Bits * [18]map* for Data.List * [19](*) `on` f = \x y -> f x * f y * [20]forkChild, waitForChild, parIO, timeout * [21]isLeft and isRight 16. http://haskell.org/haskellwiki/Library_submissions 17. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5569/focus=5569 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5552/focus=5552 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5519/focus=5519 20. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5488/focus=5488 21. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5461/focus=5461 Discusión * La comónada OI. Sven Biedermann [22]comenzó una discusión acerca de la [23]comónada OI, y suministró un ejemplo de una simple comónada OI para sólo stdin/stdout, que preserva la integridad referencial. 22. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16278/focus=16278 23. http://www.haskell.org/haskellwiki/Research_papers/Monads_and_arrows#Comonads * Los Bits entre los Lambdas. Nuno Pinto [24]preguntó acerca de IO Binario en Haskell. Varias soluciones fueron sugeridas. 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16245/focus=16245 * Traduciendo Haskell a VHDL. Alfonso Acosta [25]planteó cómo escribir un traductor desde [26]Haskell a VHDL. 25. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16337/focus=16337 26. http://haskell.org/haskellwiki/Research_papers/Domain_specific_languages#Hardware_design * Nuevos mantenedores para wxHaskell. Jeremy O'Donoghue [27]anúncio un nuevo equipo de mantenedores para wxHaskell, así que esperamos ver un incremento significante en las actividades wxHaskell en el futuro. Grandioso! 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16364/focus=16364 * Permutación con níveles k. Nuno Pinto [28]se preguntó acerca de algorítmos de permuta genéricos en Haskell. 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16365/focus=16365 Ruídos del Blog [29]Noticias Haskell desde la blogosphere (Inglés mayoritariamente.). * [30]Introductory Haskell: Solving the Sorting-It-Out Kata * [31]Writing A Lisp Interpreter In Haskell * [32]Standardising Concurrency in C++ * [33]Living with a ghost: concurrency and state * [34]Concatenative programming in Haskell's Arrows * [35]Functional programming is functional * [36]LaTeX YAHT on darcs.haskell.org * [37]My next programming language * [38]Haskell Bowling * [39]Variable substitution gives a ... monad * [40]Modeling the Semantics of Geographic Categories through Conceptual Integration (in Haskell) * [41]Keeping it simple * [42]In the beginning... * [43]Testing ... testing ... * [44]Livecoding music with Haskell * [45]Why I recommend Haskell * [46]Win for Type Theory? * [47]That problem when the ideas come too thick and fast 29. http://planet.haskell.org/ 30. http://blog.moertel.com/articles/2006/10/31/introductory-haskell-solving-the-sorting-it-out-kata 31. http://www.defmacro.org/ramblings/lisp-in-haskell.html 32. http://www.artima.com/cppsource/threads_meeting.html 33. http://damienkatz.net/2006/10/living_with_a_g_1.html 34. http://kpreid.livejournal.com/7351.html 35. http://gearon.blogspot.com/2006/10/functional-programming-is-functional.html 36. http://koweycode.blogspot.com/2006/11/yaht-on-darcshaskellorg.html 37. http://khigia.wordpress.com/2006/11/02/what-is-my-next-programming-language/ 38. http://www.xprogramming.com/xpmag/dbcHaskellBowling.htm 39. http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html 40. http://virginia-gis.spaces.live.com/Blog/cns!45E7F65393A53E20!117.entry 41. http://vastusutra.blogspot.com/2006/10/keeping-it-simple.html 42. http://samplerate.blogspot.com/2006/11/in-beginning.html 43. http://chiralos.blogspot.com/2006/11/testing-testing.html 44. http://doc.gold.ac.uk/~ma503am/alex/haskellmusic 45. http://lambda-the-ultimate.org/node/1807#comment-22019 46. http://nolacoaster.livejournal.com/20789.html 47. http://brokenhut.livejournal.com/176006.html Frases de la Semana * coffeemug: No parece haber ningúna fuente definitiva que sugiera que Haskell no es bueno en algo. * stevan: Haskell es como todos los otros lenguajes funcionales acerca de los que he leído, pero totalmente diferente al mismo tiempo. * coffeemug: tú puedes hacer más con Haskell en menos código más fácil de leer y mantener a la larga. * Jeannette Wing: El pensamiento computacional se habrá vuelto común en la vida de todos cuando .. los árboles sean dibujados de arriba hacia abajo. * monochrom: la búsqueda de directorio recursivo es un alpha-beta con aburridos valores de alpha y beta * skew: Los tipos son ampliamente acerca de escribir el contrato de una funcion una vez y decirle al compilador para mantener la pista de las cosas, en lugar de hacerlo directamente tú mismo, y siendo recompensado con bugs que sólo se manifiestan durante los demos... * monochrom: Se dice que Mozarts Mass en C menor K427 es elevado. Voy a nombrar my próximo transformador monádico ó transformador de flecha MozartMassInCMinorK427T * Ron Jefrries: La aserción de Dan, cómo yo lo recuerdo, era que Haskell nos dejaba expresar el programa 'en la forma en que nosotros pensamos'. Por lo contrario, lo que Haskell hace en mi opinión es dejarnos expresar el programa en la forma en que Haskell piensa. * sedd:[Acerca de mejorar la puntuación de Haskell y Lua en el language shootout] Esto es asombroso. Es cómo observar un partido entre el equipo de la ciudad de donde tú eres, y el equipo de la ciudad donde tú vives. De ambas formas tienes una razón para emborracharte después del juego. * emeijer: La programación funcional ha finalmente llegado a las masas. Su nombre no es Lisp, ML ó Haskell: es Visual Basic. * audreyt: Porque Haskell es un lenguaje razonable tal, nosotros razonamos acerca de el todo el tiempo, y tambien tenemos la oportunidad de ponerlo a razonar por nosotros cuando somos perezosos. * spiffy: necesita detenerse de intentar de entender mónadas en la noche. * psykotic: spiffy: ellas son sólo monoides en la categoria de endofunctors sobre algo de categoría, qué es lo difícil? * skew: también, si tú usas ST tú sabes que el código está usando variables mutables, en lugar de formateando tñu disco duro. * Baughn: Una vez expliqué mónadas a un no-programador, '¿Y? ¿Qué hay de difícil en eso?' * monochrom: El problema es que los malos programadores considerarán los tutoriales para buenos programadores como 'torres de ivory' y los malos programadores son la mayoría. Te ofrece mala prensa. * scodil: tú dices 'sledgehammer' como si fuera algo malo. * sjanssen: Sospecho que planet.haskell.org tiene más contenido sobre catamorfismos que gatos. Vigíla Código * Wed Nov 1 08:43:29 PST 2006. Simon Peyton Jones. Mayor reacondicionamiento de el Simplificador. El simplificador había crecido obsleto y descuidado, y era difícil de entender y mantener. Esta nueva versión es todavía bastante complicada, porque el simplificador hace mucho, pero es mucho más fácil de entender, al menos para mi. Acerca del boletín semanal Haskell Cada semana, nuevas ediciones son publicadas a la lista de correo de [48]Haskell, también a la [49]Haskell Sequence y [50]Planet Haskell. [51]RSS tambien está disponible, y los titulares aparecen en [52]haskell.org. EL Boletín de Noticias Haskell tambien se encuentra [53]disponible en Español. Para ayudar a crear nuevas ediciones de este boletín, por favor lee la [54]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 48. http://www.haskell.org/mailman/listinfo/haskell 49. http://sequence.complete.org/ 50. http://planet.haskell.org/ 51. http://sequence.complete.org/node/feed 52. http://haskell.org/ 53. http://haskell.org/haskellwiki/HWN/es 54. http://haskell.org/haskellwiki/HWN Traducción de la HWN Este es un artículo traducido de su versión original en [55]Inglés. Para colaborar con el proceso de [56]traducción semanal de la HWN, por favor enviar un correo a luis at arjox.org 55. http://www.haskell.org/haskellwiki/Haskell_Weekly_News 56. http://www.haskell.org/haskellwiki/HWN/es