Got.λ & Evolution November Meetup

Hello, Functional Programming lovers ! It's finally time for a Meetup!

This meetup is hosted by Evolution and organized by Got-Lambda.

The event will take place at the Evolution office, located at Kungsgatan 42, Gothenburg, 2nd floor.

Schedule:

• 17:30- Doors open, light food and drinks will be available.
• 18:00- Intro + Talk #1: Lachezar Yankov
• 19:00- Break: Drinks, snacks and mingle.
• 19:30- Talk #2: Thanh Le
• 20:15- More drinks, more mingle.
• 21:00- Closing time, last call, whatever you want to call it :)

If you have any allergies or other dietary requirements, please let us know prior to the event!

Talk #1: Lachezar Yankov
Topic: Pragmatic functional programming with ZIO

Description: ZIO is an effect system for Scala with built-in support for dependency injection, dedicated error channel, resource management, and other features that benefit modern business applications and microservices. In this talk, we will go through the practical side of ZIO's dependency injection mechanism and the ability to encode domain specific errors in its error channel.

About the speaker: Lachezar is a Lead backend developer for NetEnt Slots team at Evolution, he has developed software professionally for 2 decades and in the past 5 years has fallen in love with Scala. He is a firm believer that type safe languages and effect systems allow us to produce highly performant and durable systems with great architectural design and minimum outages.

Talk #2: Thanh Le
Topic: Parametricity, what is it and what is it good for?

Description: Started by John C Reynolds and popularized by Philip Wadler in his famous paper - Theorem for free, Parametricity (as opposed to ad-hoc polymorphism) is a powerful tool for derives theorem about polymorphic programs. In this talk, we will explore what parametricity is, and go through some examples of how it can be used to reason about programs.

About the speaker: Thanh is a software engineer at Recorded Future and a maintainer of lichess.org - the open-source, adless, and worldwide second-biggest chess website, he is also a member/contributor of typelevel organization/ecosystem. He is interested in all things functional programming, category theory, and performance optimization. Scala is his current favorite language, but he is exciting to learn more about Agda and other dependently typed languages.