Sala esLibre 2021 «Aλhambra Day: Programación funcional para todo el mundo»

¿Una λ en la Alhambra?

No hay mejor sitio para celebrar la unión de las dos viejas ciudades del antiguo Reino Nazarí. Málaga y Granada bajo una misma λ, abierta a todas las personas de cerca y de lejos que quieran disfrutar de un evento dedicado a algo que (casi) nos gusta tanto como una buena tapita con su bebida: la Programación Funcional.

Después de una primera edición con bastante éxito, tuvimos que cancelar la segunda edición presencial que ya teníamos preparada para el año pasado. Es por eso que este año hemos decido aprovecha la gran oportunidad de volver a celebrarlo de forma virtual dentro de la edición de este año de esLibre que se celebrará los días 25 y 26 de junio. Volvemos a tener una cita donde conocer gente y proyectos que usan la Programación Funcional cada día.

#LambdAlhambra

Charlas para todos los niveles

La Programación Funcional no es esa asignatura-cardo que hay que aprobar una vez en la vida. Tampoco es una ladera llena de chumberas que hay que escalar para comprender lo que son las mónadas o la Teoría de Categorías. Se trata de una herramienta más que puede ayudarnos un montón en problemas a los que nos enfrentamos en nuestros trabajos y estudios. Te lo demostraremos.

Hemos preparado charlas enfocadas a principiantes que no tienen experiencia con la Programación Funcional, pero que conocen cualquier otro lenguaje como Python, Ruby, Java o C. ¿Cómo iniciarse en el mundo de la Programación Funcional?

También hemos pensado en todas aquellas personas que están todavía en un eterno nivel intermedio de Scala, pero que no tienen tiempo para avanzar. ¿Qué camino seguir?

Sea cual sea tu experiencia, tenemos algo para tí.

¡Nuestras Lambdas no pinchan!

Pinchy: https://www.freepik.com/vipanee

Por y para la Comunidad

El evento nace con la idea de acercar Scala y la Programación Funcional a todo el mundo. De manera horizontal. Sin elitismo ni estrellas. Hacemos esto porque tenemos algo en común contigo: curiosidad e inquietud por mejorar.

Además, al estar en contacto con empresas y comunidades nacionales e internacionales, podemos ofrecer a Granada, Málaga y Andalucía la oportunidad de aprovechar este evento para dar todo nuestro potencial a conocer. Que no se diga.

esLibre

esLibre es un encuentro de personas interesadas en las tecnologías libres, enfocado a compartir conocimiento y experiencia alrededor de las mismas.

Después de una primera edición físicamente en Granada que tuvimos el honor de organizar desde LibreLabGRX y una segunda virtualmente desde Madrid (gracias en esta ocasión a la OfiLibre de la URJC), vuelve otro año con la edición del año 2021. La próxima edición se celebrará virtualmente también como resultado de la propuesta presentada por LibreLabUCM.

Programa

«Presentación Aλhambra Day» por Dawid Furman, Germán Martínez y JJ Merelo

«How to structure an interactive program, reinventing the Elm architecture» por Daniel Trujillo

Resumen:

You’ve finished your introductory course on functional programming, and you know the basics of programs in this paradigm: data types, referential transparency, pure functions… You already know how to do things: Parse a document and print some information, command line calculator… You have your perfectly designed pure, functional core but, what about the impure shell around? Let’s learn how to structure a relatively complex desktop application.

«Functional programming in Raku» por JJ Merelo

Resumen:

Raku is “the language for the next 100 years”, and it’s quite obvious for everyone that every language will be functional from now on, so Raku can’t escape that trend. However, is it functional-like-Javascript or functional-like-Haskell? Well, something in between, but we will show how functional concepts are implemented in Raku, how natural and idiomatic they are, and how to leverage them in different design patterns in the language.

«Cálculo lambda y lógica intuicionista, diferentes ópticas del mismo problema» por Pedro Bonilla Nadal

Resumen:

El objetivo sería hacer una introducción del cálculo lambda como un lenguaje formal. Para ello:

  • Introducimos notación de BNF
  • Explicamos brevemente el cálculo no tipado
  • Como solución de este problema el cálculo lambda tipado
  • Isomorfismo con lógica proposicional intuicionista

«PHP desde lo funcional over lemons» por Filis Futsarov y Dawid Furman

Resumen:

El paradigma de programación funcional cada año se hace más conocido y ya se aplica en diferentes lenguajes y así ganando su buena fama. Todo esto gracias a comunidades y desarrolladores que están poniendo todo su esfuerzo en aplicarlo.

Tipos con sus álgebras nos aseguran que tanto en tiempo de compilación como en tiempo de ejecución no aparecen los errores como por ejemplo NullPointerException.

«Serving millions of users with Elm» por Ju Liu

Resumen:

At NoRedInk we have one of the largest Elm codebases in the world. It is used by millions of teachers and students every day. In this talk, I will go through the structure of our codebase, then delineate some tecniques we keep the code clean and easy to mantain. By the end of the talk, you should be convinced that Elm and statically typed functional programming are “production ready”.

«Scala on Android» por Maciej Gorywoda

Resumen:

Is there Scala on Android? Was there? Will there be?

For years we basically ignored the biggest market of JVM software on Earth. Those who decided to try anyway, were doomed to hack and patch through obsolete code just to stay afloat.

But is this the end? Or is there a way for Scala to come back?

«Functional programming in practice: a journey» por Jens Grassel

Resumen:

A journey through the abysses and over the heights of the life in software development. Encouraging attendees to look into the domain of functional programming to gain new insights based upon the authors experience from over two decades in the industry.

Contacta con la organización

Para cualquier cosa que tengas que decirnos: dudas, felicitaciones y rabietas… puedes escribir a:

lambda.in.alhambra@librelabgrx.cc

Código de Conducta

Este evento apoya el código de conducta de esLibre que puedes leer aquí. Si hubiera un problema y necesitases ayuda, dirígete a cualquier miembro de la organización. También tendrás un contacto de Telegram a tu disposición, que estará debidamente indicado y bien visible durante la conferencia.