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

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!