Here's what I've written (so far):

Path-Dependent Types in Scala

1. Overview Scala has a strong type system that allows us to write code with more restrictions and checks at compile time. By encoding logic in the type system, we can detect errors at compile-time without introducing them to the runtime. One feature, in particular, is a kind of dependent typing called path-dependent types. In […]

Read More →