Brieuc Kaisinbrieuckaisin.hashnode.dev·Jul 3, 2024Type-level Arithmetic in TypeScript: Part 1 - Type Safe Time IntervalsTypeScript 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, ...Discuss·10 likes·716 readsTypeScript
Jorge Vásquezjorgevasquez.blog·Sep 15, 2020Exploring Type-Level Programming in ScalaIn 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...Discusstype-level programming
