Exploring Type-Level Programming in Scala
Presentation at micro.sphere.it
I'm a Software Developer, mostly focused on the backend. I've had the chance to work with several technologies and programming languages across different industries, such as Telco, AdTech, Streaming and Online Education. I'm always looking to improve my skills, finding new and better ways to solve business problems.
Above all, I love Functional Programming. I'm convinced it can help to make better software, and I'm excited about languages and libraries that are making FP more accessible to developers
In this introduction to type-level programming in Scala, I've discussed how we can leverage the full power of the type system to verify domain properties of an application at compile-time, instead of doing runtime verifications at the value level.
Watch the recording:
