Actividades de la Comunidad

Programación funcional en el mundo real
2007-06-01
Programación Funcional en el mundo real
Antonio Mamani Q.
Miercoles 3 de noviembre de 2010

Resumen
Varios lenguajes como Python, C#, Scala, Ruby, Clojure han incorporado algunas características de los lenguajes funcionales en sus gramáticas, en particular las funciones de orden superior, clausuras, expresiones lambda y la evaluación perezosa. Con esta características ofrecen a los programadores recursos para poder resolver problemas complejos de forma sencilla y elegante. El paradigma funcional ha tenido un gran impacto en estos ultimos años, a raíz de esto se ha desarrollado varios proyectos y herramientas de desarrollo.


El estilo de la programación funcional es muy diferente a los lenguajes imperativos como Java, C, C++, C#, Php, Ada, Visual Basic, etc. Estos lenguajes imperativos tienden a generar efectos colaterales en proyectos grandes donde participan varios programadores.

Los lenguajes funcionales puros no tienen efectos colaterales lo que garantiza el funcionamiento correcto del software.


Fecha : Miercoles 3 de noviembre de 2010
Hora : 17:00 - 18:00
Lugar : Auditorio MEMI(planta baja)

Dirigido a:
Estudiantes de las carreras de Informática y Sistemas, profesionales del  área e interesados en general. Entrada libre, plazas limitadas (30 personas).
Anotarse en el Centro MEMI.
Open House Haskell Community
2007-07-07
OpenHouse Haskell Community
tl_files/exposiciones/OpenHouse/logoOH.png
<<Comunidad Haskell San Simon>>

  1. 1.- Antecedentes
    La Comunidad Haskell San Simon, es un grupo informal de personas que buscan aprender, compartir informacion, conocimientos y experiencias del paradigma funcional tanto para mejorar nuestras habilidades, como tambien para implementar proyectos, y formar una red de conocimiento, aprendizaje en el paradigma funcional y lenguaje de programacion Haskell.

    Desde la gestion anterior, la Comunidad Haskell San Simon, dispone de un sitio web, [http://comunidadhaskell.org], el cual apoya en nuestro desarrollo como programadores del paradigma funcional.
  2. 2.- Objetivos
    1. 2.1.- General
      Organizar el 1er "OpenHouse Haskell Comunity" de la Comunidad Haskell San Simon, con la participacion de estudiantes, profesionales y aficionados del paradigma funcional, con el objetivo de presentar los proyectos desarrollados con Haskell, y compartir experiencias obtenidas con el paradigma Funcional.
    2. 2.2.- Especificos
      • * Establecer el OpenHouse Haskell Comunity, como una actividad que se llevara a cabo anualmente, como un reporte de proyectos de la gestion anterior.
      • * Crear una red de programadores funcionales.
      • * Incentivar a personas interesadas en la programacion funcional a que puedan desarrollar proyectos con Haskell.
  3. 3.- Planificacion
    1. 3.1.- De las fechas, el OpenHouse se realizara el 15 de Abril del 2010, en los ambientes del MEMI (planta baja), y se recibira proyectos y charlas hasta 3 dias antes del evento.
    2. 3.2.- De los expositores de proyectos y charlas, queremos invitar tanto a los miembros de la comunidad Haskell San Simon, como tambien al publico en general, a presentar sus proyectos o charlas relacionados con los temas descritos en el punto 4.
    3. 3.3.- Del documento a presentar, los expositores deben enviar un abstract de su exposicion, de no mas de 10 lineas de texto, hasta 3 dias antes del evento a la direccion de antonio.mq@gmail.com.
  4. 4.- Temas de Interes del OpenHouse
    1. 4.1.- Desarrollo de aplicaciones con Haskell
    2. 4.2.- Desarrollo de Bibliotecas con/para Haskell
    3. 4.3.- Experiencias con Haskell
    4. 4.4.- Aplicaciones favoritas de Haskell
    5. 4.5.- Temas de Investigacion con Haskell
    6. 4.6.- Temas tecnicos de Haskell

      Nota.- Cada tema de exposicion debe tener un promedio de duracion de 25 minutos.

 

Estrategias para la transformación de programas
2007-08-07
ESTRATEGIAS PARA LA TRANSFORMACION DE PROGRAMAS
Disertante : Alexey Rodríguez
Comunidad Haskell San Simón
Universidad de Utrecht

Resumen
En esta charla veremos cómo optimizar el modelo de evaluación perezosa de programas compilados por GHC, un compilador de Haskell maduro y estable. El actual modelo utiliza saltos indirectos, los que a menudo no son predecibles por  procesadores modernos y por tanto una gran causa de ineficiencia. Veremos dos mejoras a este modelo: semi-tagging y pointer-tagging. GHC modificado con estas mejoras ahora produce programas hasta 14% más rapidos.


         Fecha: Viernes 7 de Agosto de 2007.
         Hora : 11:00 a 12:00.
         Lugar : Auditorio 2 Edificio MEMI III

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés y conocimiento sobre programación funcional, profesionales del área e interesados en general.

Entrada Libre y gratuita, plazas limitadas (35 personas)
Anotarse en Secretaria del programa MEMI.

Organizan :

Programa MEMI
Comunidad Haskell San Simón
Tipod de datos generalizados algebráicos
2007-09-06
UNA MUESTRA DE PROGRAMACION CON TIPOS DE DATOS ALGEBRAICOS  GENERALIZADOS
Disertante : Alexey Rodríguez
Comunidad Haskell San Simón
Universidad de Utrecht

Resumen

Los Tipos de Datos Algebráicos Generalizados (TDAG) son una reciente extensión a  os Tipos de Datos en Haskell. Esta extensión nos permite codificar propiedades de una estructura, por ejemplo la longitud de una lista, en el tipo de esa estructura. ¿Qué ganamos con eso? Pues ahora el compilador hace el chequeo de propiedades como parte del chequeo de tipos. Ahora cuando escribimos funciones que manipulan estructuras TDAG el compilador nos obliga a preservar sus propiedades. Esto quiere decir que si el tipo esta correcto, el programa esta correcto!

         Fecha: Jueves 06 de Septiembre 2007.
         Hora : 19:00 - 20:00.
         Lugar : Auditorio 2 Edificio MEMI III

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés y conocimiento sobre pro-
gramación funcional, profesionales del  ́área e interesados en general.

Entrada Libre y gratuita, plazas limitadas (35 personas)
Anotarse en Secretaria del programa MEMI.

Organizan :
Programa MEMI
Comunidad Haskell San Simón
Abstract Turing Machine
2007-09-27
Abstract Turing Machine
Disertante : Nestor Felipe
Comunidad Haskell San Simón
Universidad Mayor de San Simón

Resumen
La máquina de Turing es un modelo computacional creado por Alan Turing con el cual  ́él afirmaba que se podía realizar cualquier cómputo.
Una máquina de Turing consiste, básicamente, en una cinta infinita, dividida en casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razón de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz de leer un símbolo escrito en la cinta, o de borrar el existente e imprimir uno nuevo en su lugar. Por ultimo, contiene además un registro capaz de almacenar un estado cualquiera, el cual viene definido por un símbolo. Los símbolos que definen el estado del dispositivo no tienen por que coincidir con los símbolos que se pueden leer o escribir en la cinta. .

          Fecha: Jueves 27 de Septiembre de 2007.
          Hora : 19:00 - 20:00.
          Lugar : Aula 680 - Depto Inform ́tica a

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés en programación funcional,
profesionales del  ́área e interesados en general.

Entrada Libre y gratuita.

Organizan :
                       Carrera Informática - Comunidad Haskell San Simón
Algoritmo de unificación en Haskell
2007-10-11
Algoritmo de Unificación en Haskell
Disertante : Dr. Pablo Azero
Comunidad Haskell San Simón
Universidad Mayor de San Simón

Resumen

El algoritmo de unificación es ampliamente usado en la construcción de sistemas de tipos y de la ejecución de programas lógicos. El algoritmo no es complicado, pero se utiliza como un ejemplo para ir mostrando varias técnicas de programación funcional en el lenguaje Haskell. El algoritmo, si tiene éxito, construye la sustitución más general que unifica dos términos de primer orden con variables. Una de las aplicaciones mostradas en la exposición se refiere a la construcción de un sistema de inferencia de tipos.

          Fecha: Jueves 11 de Octubre de 2007.
          Hora : 19:00 - 20:00.
          Lugar : Aula 680 - Depto Inform ́ticaa

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés en programación funcional, profesionales del área e interesados en general.

Entrada Libre y gratuita.

Organizan :
                      Carrera Informática - Comunidad Haskell San Simón
Wxhaskell
2007-11-08
WxHaskell
Disertante : Rene Copaga
Comunidad Haskell San Simón
Universidad Mayor de San Simón

 Resumen

WxHaskell es una librería hecha en Haskell para realizar interfaces gráficas de usuario (GUI), esta construida sobre wxWidgets que es una libreria para C++.
En esta charla hablaremos sobre como algunas caracteríısticas de un lenguaje funcional como Haskell pueden ser usadas en el desarrollo de interfaces gráficas de usuario.
                                                         
         Fecha: Jueves 08 de Noviembre de 2007.
         Hora : 19:00 - 20:00.
         Lugar : Aula 680 - Depto Informática

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés en programación funcional,
profesionales del  ́área e interesados en general.
Entrada Libre y gratuita.

Organizan :
                     Carrera Informática - Comunidad Haskell San Simón
HADDOCK
2007-11-29
HADDOCK
Una herramienta de documentación de Haskell
     Disertante : Maria Angela Romero
Comunidad Haskell San Simón

Resumen
          HADDOCK es una herramienta para generar documentación automáticamente a partir de código fuente Haskell anotado. Está pensado para documentar librerías pero es util al momento de documentar nuestro propio código elaborado en Haskell.
      Haddock te permite escribir anotaciones de documentación al lado de las definiciones de funciones y tipos en el código, con una sintaxis que es fácil de identificar mientras se escribe el código (sin complicaciones).

          Fecha: Jueves 29 de Noviembre de 2007.
          Hora : 19:00 a 20:00.
          Lugar : Carrera de Informática, aula 680

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés en programación funcional,
profesionales del  ́área e interesados en general.

Entrada Libre y gratuita.

Organizan :
                        Carrera de Informática
                        Comunidad Haskell San Simón
Cabal
2008-09-13
Cabal
Disertante : Cesar Flores
Comunidad Haskell San Simón
Universidad Mayor de San Simón

Resumen

A la necesidad de tener librerias adicionales listas para utilizar nace Cabal una arquitectura común para la construcción de aplicaciones y herramientas, con esta arquitectura podremos instalar librerías adicionales hechas por nosotros o por otras personas y además nos facilita la construcción de binarios a partir del código fuente.

       Fecha: Jueves 13 de Septiembre de 2007.
       Hora : 19:00 - 20:00.
       Lugar : Aula 680

Dirigido a :
Estudiantes de las carreras de Informática y Sistemas,con interés y conocimiento sobre programación funcional, profesionales del  ́área e interesados en general.

Entrada Libre y gratuita.

Auspicia :
                         Carrera Informática