Future of effects in Scala & Revisiting Kent Beck’s „Implementation Patterns"
Join us on January 23rd for a Krakow Scala User Group Meetup. This time, the event will be held in English. Check out the details.
‘Future of effects in Scala: Capture checking in practice‘ - Szymon Rodziewicz
Effects are properties of a computation that do not describe the shape or structure of data but are still tracked in the type system. We often use them to describe asynchronous computations, the possibility of returning an error, dependence on the I/O, and many other properties. In Scala, a common way to describe it is to use the monadic types. However, they are often critiqued for being complex, rigid, and hard to compose. To address these issues, the team at EPFL is developing a capture-checking feature that aims to make another approach viable that may not suffer these drawbacks. Let's dive into it and see it in practice!
’Revisiting Kent Beck’s „Implementation Patterns” in the FP world’ - Adam Kopeć
Kent Beck - one of the inventors of extreme programming and co-signer of the agile manifesto. In 2006 he wrote a famous book, which became one of the more influential books I have ever read. He looked at the code, design, and patterns from a communication perspective – focusing on how one solution could suggest different evolution patterns than another and what choices would be the easiest to make for future maintainers of our software. On the verge of 2024 the book can be considered old and entirely focused on OOP. But the ideas it tried to convey are (in my opinion) – still relevant. In my talk I’d try to explain the concept and give you some examples, but this time focusing on modern Scala and FP.
Speakers:
Szymon works at the Scala 3 Compiler Team at VirtusLab with the Scala Center and EPFL. He leads the Scala Toolkit project and regularly contributes to the Scala 3 compiler and Scala documentation. His interest lies in making programming languages accessible and comfortable to work with. The organizer of the Kraków Scala User Group.
Adam is an experienced engineer who started his professional software development career more than 15 years ago. He's been playing around with Scala for about 3 years and JVM for about 6 years now, currently working with excitement in the online gambling industry. A deep believer in Conway's and Goodhart's laws, sceptical about the new, shiny and highly marketed technologies, engaged promoter of good engineering practices on every level of the SDLC.
The event is sponsored by VirtusLab & OnAir Entertainment.
