What we're about

Scala es un lenguaje de programación orientado a objetos y, a la vez, un lenguaje funcional. La combinación de estos dos paradigmas hace especialmente atractiva la programación con Scala, y lo convierte en un lenguaje idóneo para la programación paralela y distribuida. Si además estás interesado en los lenguajes específicos de dominio (DSLs), encontrarás en Scala un candidato ideal para implementar tu DSL de manera embebida. Además, ¡Scala ejecuta sobre la máquina virtual de Java! Este grupo se ha creado con el propósito de compartir experiencias sobre Scala y las distintas tecnologías que forman parte de su ecosistema: frameworks de desarrollo Web como Play o Lift, la infraestructura de middleware basada en actores Akka, frameworks de prueba BDD como Scalatest o Specs, etc. Si te gusta programar y estás interesado en las técnicas más novedosas como la type-level computation, macros para lenguajes estáticamente tipados, etc., te gustará Scala. Y si estás interesado en las últimas tecnologías para el desarrollo de aplicaciones empresariales (programación basada en actores, sistemas orientados a eventos, etc.), no lo dudes, Scala te va a encantar. Únete a nuestro grupo, aprende y comparte con nosotros tus experiencias con Scala.

Upcoming events (1)

A Few Things You Always Wanted to Know About Tagless-Final

Link visible for attendees

This event is a joint Meetup in partnership with the Lambda World Programming Meetup - Cádiz chapter! If you're not a member yet, you should join!

Where: Xebia Functional (formerly 47 Degrees) Office at Cádiz (C/Real, 40, San Fernando)

If you can't make it in person (note that the event will be at Cádiz, not Madrid ;), we will also be streaming online at: https://youtu.be/gPHo6moN9Uk

Juan Manuel Serrano, co-founder of Habla Computing and associate professor at the University Rey Juan Carlos, will be joining us from Madrid to give a talk on Tagless-Final!

We'll also have food, drinks, networking, and good times!

Description:

Is tagless-final the same as the MTL style?
Which is the type of tagless-final programs for a given algebra?
Pattern-matching on tagless-final terms ... is that possible?
Bottom-up or top-down? How do I optimize tagless-final programs?

These are some questions about the tagless-final style which we will attempt to answer in this talk (using Scala). In doing so, common themes in functional programming practice will pop-up everywhere: phantom types, type systems, Church encodings, Reader/Writer monads, etc. Familiarity with the style is not mandatory, but it will help. We'll do our best to make a programmer-friendly talk!

2

Past events (82)

Languages all the way down

Celonis

Photos (102)

Find us also at