Exploring Type-Level Programming in Scala

Command Palette

Search for a command to run...

Exploring Type-Level Programming in Scala

Presentation at micro.sphere.it

PublishedSeptember 15, 2020

Exploring Type-Level Programming in Scala

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

More from this blog

New article: How to implement a REST API in Scala 3 with ZIO HTTP, Magnum and Iron

A new article I've recently written has been published in the Ziverge blog! You can read it here, I hope you find it useful.

Apr 4, 2025·1 min read

New article: How to implement a REST API in Scala 3 with ZIO HTTP, Magnum and Iron

Scala's Hidden Treasures: Five ZIO-Compatible Libraries you didn't know you needed!

Presentation at Functional Scala 2024

Dec 5, 2024·1 min read

Scala's Hidden Treasures: Five ZIO-Compatible Libraries you didn't know you needed!

ZIO HTTP: Programación Funcional en Acción con Scala!

Barranquilla JUG - Enero 2024

Jan 31, 2024·1 min read

ZIO HTTP: Programación Funcional en Acción con Scala!

New article: Writing modular applications using the Kyo library

Just today a new article I've recently written has been published in the Scala Matters blog. It's about exploring how to use the Kyo library and Scala 3 to write modular applications, by implementing a Tic-Tac-Toe game. You can read the article here,...

Jan 4, 2024·1 min read

New article: Writing modular applications using the Kyo library

Elevate and Conquer, Unleashing the Power of High-Level Endpoints in Scala

Presentation at Functional Scala 2023

Dec 1, 2023·1 min read

Elevate and Conquer, Unleashing the Power of High-Level Endpoints in Scala

Jorge Vásquez

19 posts

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:

https://www.youtube.com/watch?v=0PEOK_G43MU

💡

You can find the slides here

#type-level-programming #scala

Members
Archive
Privacy
Terms

Sitemap RSS