/ tags/ type-safety

# Magical Kotlin: Building a Type-Safe Validation DSL

2026-06-1231 min read

A walking tour of context parameters, KProperty0, definitely-non-null types, contracts, sealed scopes, explicit backing fields, fun interface, inline+reified and KSP — by building a multiplatform…

metaprogramming bytecode compile-time type-safety type class Kotlin DSL

Read

# Homogeneous Tuples in Scala 3

2026-04-0614 min read

How to prove at compile time that a Scala 3 tuple contains only elements of a single type, using match types, opaque types, and clause interleaving.

Scala Scala 3 compile-time type-safety tuple

Read

# Type-Safe Access to Method Parameter Defaults in Scala

2026-01-109 min read

How to extract method parameter defaults at compile time in Scala 3 using macros, the Selectable trait, and computed field names for full type safety.

Scala macro metaprogramming Scala 3 compile-time type-safety

Read