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

Join us for the 1st Lambda World Programming Meetup - Cádiz chapter!

Where: Xebia Functional (formerly 47 Degrees) Office.

If you can't make it in person, we will also be streaming online at: https://youtu.be/gPHo6moN9Uk

This event is a joint Meetup in partnership with the ScalaMAD: Scala Programming @ Madrid. If you're not a member yet, you should join!

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!

A Few Things You Always Wanted to Know About Tagless-Final* (*But Were Afraid to Ask)

- 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!

-----