Jan 27, 2025 · 11 min read · As a developer, you may have encountered the need to internationalise your application. For that, you may either have used a library or written your own solution. In this article, we will explore how to create a type-safe translation system in TypeSc...
Join discussionJul 3, 2024 · 16 min read · TypeScript is a statically typed language that allows you to define your own types. This is useful for many reasons, but one of the most powerful features of TypeScript is the ability to manipulate types in a similar way to how we manipulate values, ...
Join discussion
Sep 15, 2020 · 1 min read · 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. Wa...
Join discussion
