ZIO-like dependency injection using implicit resolution
By using Providers modeled after ZLayer, it is easier to separate the DI mechanism from our service definitions and provide alternate versions of the same dependency for different contexts. Nevertheless, there is still a fair amount missing that we get in mature DI frameworks like ZIO's.
John Hungerford
|
The Mechanics of Mitigation
Another part of the series about safe error handling with constructs provided by Soundness. Jon Pretty (@propensive) |
|
Publishing test traces to Grafana using otel4s and weaver
Let's explore how we can publish test traces to Grafana Cloud using otel4s and weaver while running tests on GitHub Action. Maksym Ochenashko |
|
Announcing Decisions4s: When Ifs Are Not Enough
The next time you find yourself struggling with complicated conditional logic, know that you have new tools at your disposal! Voytek Pituła (@Krever01) |
|
State of structural typing support in Scala 3.3.0
Scala's type system is primarily based on nominal typing. Scala 3 introduces a special type, Selectable, which provides an infrastructure for structural typing. Karlsson and Haller proposed improvements to Selectable to support extensible records. In this paper, we review several Scala 3 projects that involve structural typing. We find that their implementation or usability would benefit from the extensible records proposal from Karlsson and Haller. We investigate the remaining common challenges when working with structural types. In particular, we identify that a dedicated syntax for both record types and record literals would be the most beneficial addition to the language. Julien Richard-Foy (@julienrf) |