LOADING
Code generation is one of the most promising applications of large language models (LLMs), offering substantial productivity boosts for developers. However, this benefit is tempered by serious concerns surrounding the correctness and security of the generated code - especially outside the happy path.
When writing software, we currently seem to have to choose between an imperative style - easy to read and write, hard to reason about - and a monadic style - hard to read and write, easy to reason about.This talk is about being greedy and getting the best of both worlds, because we deserve it.
This will be a live coding demonstration of Scala's newest feature set: capture checking.
In my talk I will argue that we can do much better by relying in a systematic way on types and capabilities.
This talk will explore the use of Scala as a scripting language, replacing the Bash and Python scripts common throughout the industry.
