✨ Tracking effects and dependencies can quickly get subtle. This talk explores what it means to stay “on track” with tracked values and why it matters.
Here’s "On track with tracked" by Kacper Korban
Dependent types greatly improve the expressiveness of the language, allowing to write safer programs and making more illegal states unrepresentable. Scala supports dependent typing for its functional programming constructs — methods and functions. However, when it comes to the object-oriented side o
