|
Braceful, braceless, or the common style?
A Scala-syntax post that judges braces vs significant indentation not only by human taste but by a second, newer yardstick: what it costs a coding agent to edit the code. Björn Regnell |
|
Dependent Types Primer in Scala
A short primer on Dependent Types in Scala. What kinds of problems they solve and how they work. The different types of dependent types - path-dependent, dependent method, and dependent function types. Higher-Kinded Type |
|
Natural language search to domain query search with AI & AWS Bedrock
Learn how to translate natural language into structured database queries with Amazon Bedrock. Adam Rybicki (@Flsh86) |
|
Tracking Capabilities for Separation and Freshness (Extended Version)
We implement Scala 3's new separation checker, which brings higher-order separation reasoning about effects, capabilities, and resources to ordinary Scala, including fearless concurrency. Yichen Xu, Oliver Bračevac, Cao Nguyen Pham, Yaoyu Zhao, Martin Odersky |