Personal tools

HWN/es/2006-10-10

From HaskellWiki

< HWN | es
Jump to: navigation, search

Boletín Semanal Haskell (Haskell Weekly News)

Entrega número 44 - 10 de Octubre, 2006

Bienvenido a la entrega número 44 de la HWN, un boletín de noticias semanal cubriendo los desarrollos en la comunidad Haskell.

Los desarrollos de esta semana incluyen la nueva interfaz de inotify para Haskell de Lennart Kolmodin, comienza la traducción al Español de la literatura Haskell, y nuevas versiones de Darcs y Cabal son etiquetadas.

Contents

1 Anúncios

hinotify 0.1. Lennart Kolmodin [1]anunció hinotify 0.1, una librería para [2]inotify la cual ha sido parte del kernel Linux desde la versión 2.6.13. inotify provee notificación de eventos al sistema de archivo, simplemente agrega un monitor a un archivo ó directorio y recibe un evento cuando este sea accedido ó modificado. [3]API y [4]fuentes.

  1. http://article.gmane.org/gmane.comp.lang.haskell.general/14345/
  2. http://www.kernel.org/pub/linux/kernel/people/rml/inotify/
  3. http://haskell.org/~kolmodin/code/hinotify/docs/api/
  4. http://haskell.org/~kolmodin/code/hinotify/

Tutorial de Transformadores Monádicos. Martin Grabmueller [5]publicó un pequeño tutorial para usar transformadores monádicos. En contrastes a otros modelos, se concentra en usarlos, no en su implementación. [6]PDF y fuentes en Haskell Literal disponible.

  5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/15714
  6. http://uebb.cs.tu-berlin.de/~magr/pub/Transformers.en.html

Haskell hablando Español. Luis Araujo [7]anunció [8]un proyecto para hacer la documentación de Haskell más disponible a hispano-hablantes. La idea es [9]recolectar información en Español acerca de Haskell, incluyendo noticias y tutoriales, y traducir las páginas más importantes de la [10]wiki de Haskell.

  7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/15713/
  8. http://haskell.org/haskellwiki/Haskell.es
  9. http://www.haskell.org/haskellwiki/Haskell.es
 10. http://haskell.org/haskellwiki/Special:Popularpages

Paquetes Haskell 6.6. Isaac Jones [11]anunció que las herramientas del paquete Cabal para Haskell se encuentran en buen estado, con casi 30 paquetes ya en la base de datos[12]. Es momento para comenzar a probar paquetes, comenzando con la candidata a entrega de cabal que será incluída en GHC 6.6, para asegurarse que funcionan correctamente!

 11. http://article.gmane.org/gmane.comp.lang.haskell.cabal.devel/175
 12. http://hackage.haskell.org/packages/

Cabal-1.1.6 candidata a entrega. Duncan Coutts [13]entregó un tarball para la próxima candidata a entrega de Cabal 1.16. Probémosla antes de que GHC 6.6 llegue!

 13. http://article.gmane.org/gmane.comp.lang.haskell.libraries/5213/

Darcs 1.0.9 candidata a entrega. Tommy Pettersson [14]anunció la primera candidata a entrega para la próxima versión estable de [15]darcs, 1.0.9rc1. Esta entrega será principalmente una versión para reparar problemas y poner las cosas a funcionar bien que salieron mal ó que no salieron bien del todo en las versiones 1.0.7 y 1.0.8, tambien trae algunas nuevas opciones y optimizaciones.

 14. http://article.gmane.org/gmane.comp.version-control.darcs.user/10332
 15. http://darcs.net/

Haskell y Vim. Marc Weber [16]escribió algunos scripts de Vim para facilitar varias de las tareas de programación Haskell en Vim.

 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/15707

2 Haskell'

Esta sección cubre el proceso de estandarización de [17]Haskell'. (Inglés)

  • [18]Reporte de status.
  • [19]Declaraciones derivadas independientes. (parte 1)
  • [20]Declaraciones derivadas independientes. (parte 2)
 17. http://hackage.haskell.org/trac/haskell-prime
 18. http://hackage.haskell.org/trac/haskell-prime/wiki/Status'
 19. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1717/focus=1717
 20. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1726/focus=1726

3 Discusión

Permitir tanto la resta unaria prefija y la substracción de sección por la derecha. Michael Shulman [21]describió una técnica para escribir operadores que puedan ser usado tanto como infijos ó postfijos. Usando el nuevo soporte postfijo en GHC 6.6.

 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/15710/

Google Summer of Code Summit y Haskell. Don Stewart [22]busca información acerca de los proyectos Haskell en el Google Summer of Code de este año, en preparación para asistir a la cumbre del Google SoC represnetando a Haskell.org.

 22. http://article.gmane.org/gmane.comp.lang.haskell.general/14339/

GHC en Wine. Robert Marlow [23]describió su experiencia configurando GHC bajo Wine para producir binarios Windows desde Linux.

 23. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/10857

Listas de funciones y argumentos. Joel Koerwer [24]ideó un juego para intentar aplicar una función de tipo una función de

tipo
(a -> a -> ... -> a -> a)
, a una lista de argumentos del mismo

tamaño. [25]Algunas soluciones fueron sugeridas.

 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15681/focus=15681
 25. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15683/focus=15683

4 Conferencia y encuentros

APLAS'06. Manuel Chakravarty [26]anunció la llamada a participar en el [27]4th Asian Symposium on Programming Languages and Systems, para llevarse a cabo en Sydney.

 26. http://article.gmane.org/gmane.comp.lang.haskell.general/14346
 27. http://www.cse.unsw.edu.au/~aplas06/

5 Trabajos

Profesorado asistente en Utrecht. Doaitse Swierstra [28]anunció una posición por 5 años para un profesor asistente en Utrecht. Las actuales áreas de interés incluyen: lenguajes de dominio específico empotrados, diseño e implementación de lenguajes de programación, programación genérica, verificación de programas, sistemas de tipos avanzados. [29]Más información.

 28. http://article.gmane.org/gmane.comp.lang.haskell.general/14343/
 29. http://www.cs.uu.nl/vacatures/en/62612.html

Estudiantes de PhD. Shengchao Qin [30]anunció la invitación para estudiantes PhD para trabajar en análisis de recursos y verificación para software empotrado dependiente, en la Universidad de Durham. El aplicante exitóso debería de tener buena experiencia en el análisis de programas, sistemas de tipo y teoría de tipo, verificación de software y sistemas empotrados.

 30. http://article.gmane.org/gmane.comp.lang.haskell.general/14347/

Posición para post-doctorado. Stephan Merz [31]anunció que las aplicaciones estan abiertas para una beca de post-doctorado en modelaje y verificación de lenguajes de dominio específico en el [32]equipo MOSEL en LORIA. El proyecto tiene como objetivo modelar lenguajes de dominio específico bajo la especificación de lenguaje [33]TLA+ y para desarrollar técnicas de verificación simple para programas escritos en DSLs con propiedades de correción de alto-nivel. Los candidatos deben tener un PhD y deberían mostrar interés de investigación en métodos formales y razonamiento formal. Deberían preferiblemente tener experiencia con asistentes de prueba interactivo.

 31. http://lists.seas.upenn.edu/pipermail/types-announce/2006/000298.html
 32. http://www.loria.fr/equipes/mosel/
 33. http://research.microsoft.com/users/lamport/tla/tla.html

6 Ruidos de los Blog

Noticias Haskell desde la blogosfera. (Inglés)

  • [34]Roll your own Haskell IRC bot
  • [35]Understanding Monads Via Python List Comprehensions
  • [36]Mercury and imperative programming
  • [37]Languages as first-class design decisions
  • [38]Becoming a Haskell developer via YHC
  • [39]JAOO Conference: Functional Programming And Monads
  • [40]CompSci.ca does Functional Programming
 34. http://haskell.org/haskellwiki/Roll_your_own_IRC_bot
 35. http://lukeplant.me.uk/blog.php?id=1107301643
 36. http://www.mercury.cs.mu.oz.au/mailing-lists/mercury-users/mercury-users.9904/0038.html
 37. http://www.recursivethought.com/blog/view/languages-as-design
 38. http://jaortega.wordpress.com/2006/10/08/becoming-a-haskell-developer/
 39. http://best-practice-software-engineering.blogspot.com/2006/10/event-jaoo-conference-day-3.html
 40. http://compsci.ca/blog/compsci-does-functional-programming/

7 Frases de la Semana

  • Larry Wall: Perl se está convirtiendo en Haskell. Que alguien me dispare.
  • Tim Berners-Lee [and the w3c]: Los lenguajes funcionales tales como Haskell ... facilitan la creación de programas que puedan ser más fáciles de analizar que sus equivalentes imperativas.
  • lispy: > init . map snd . filter fst . zip (fix ([True, False] ++)) . ap (zipWith (+)) tail . map length . group . fix $ show
  • lambdabot: [2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536, 131072,...
  • Verity Stob: Lisp todavía es el número 1 para técnicas algorítmicas claves tales como recursión y condescension.
  • dcoutts: (:[]) parece un monstruo.
  • largos: [acerca de lenguajes de programación] ... Prefiero no tener tanta cuerda como te da c/c++.
  • ozone: Cuándo las cadenas de byte serán O(1) para todas las operaciones?
  • skew: [Las mónadas son] exactamente como las secuencias de sentencias en otros lenguajes. Excepto, que muy raramente ellos piensan tan profundamente acerca de lo que esa secuencia significa.

8 Vigíla Código

Declaraciones derivables independientes. Agrega [41]soporte para declaraciones 'derivables' independientes. La principal motivación para esto es que te permite usar el mecanismo de derivación de instancias para los tipos de datos y nuevos tipos (newtypes) declarados en otros módulos, por ejemplo si se quiere usar genéricos con código existente que no deriva Typeable y Data, ó se quiere usar Show para depuración. La sintaxis es: deriving Class for Type, y para tipos multiparamétricos classes: deriving (Class t1 ... tn) for Type.

 41. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17038/

9 Acerca del boletín semanal Haskell

Cada semana, nuevas ediciones son publicadas a la lista de correo de Haskell[42], también a la [43]Haskell Sequence y [44]Planet Haskell. [45]RSS tambien está disponible, y los titulares aparecen en [48]haskell.org.

Para ayudar a crear nuevas ediciones de este boletín, por favor lee la información[47] 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

 42. http://www.haskell.org/mailman/listinfo/haskell
 43. http://sequence.complete.org/
 44. http://planet.haskell.org/
 45. http://sequence.complete.org/node/feed
 46. http://haskell.org/
 47. http://haskell.org/haskellwiki/HWN

10 Traducción de la HWN

Este es un artículo traducido de su versión original en Inglés. Para colaborar con el proceso de traducción semanal de la HWN, por favor enviar un correo a luis at arjox.org