Bill Venners
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- Scale By the Bay5 editions2017–2021
- Scala Days Berlin2 editions2016–2018
- Scala Days2 editions2023–2025
all 8 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Jon Pretty24 talks
- Nicolas Rinaudo13 talks
- Lars Hupel11 talks
- Eric torreborre11 talks
- Martin Odersky47 talks
- Magda Stożek10 talks
| title | conference | date |
|---|---|---|
| Thinking in Scala 3 Types | Scala Days 2025 Lausanne | 2025-08-19 |
Scala 3’s type system gets concrete models and concrete features: think types as sets and substitution to reduce polymorphism, with worked examples of… | ||
| AI Assisted Development | Scala Days 2023 Seattle | 2023-06-05 |
Defines trained vs direct functions, uses Lambda calculus to visualize the space of algorithms, and implements isPalNum three ways: direct s.reverse, a… | ||
| Scale By the Bay 2021 by Bill Venners | Scale By the Bay 2021 | 2021-10-28 |
A new Programming in Scala, Fifth Edition arrives with coverage of Scala 3, printed copies delivered a week ago, and the book documents the concrete language… | ||
| Advanced Features of Scala 3 | Scale By the Bay 2021 | 2021-10-28 |
Covers concrete Scala 3 features and how to use them: opaque types (alias that avoids boxing at call sites, with example logarithm and posint hierarchies)… | ||
| Understanding the Type System of Scala 3 | Scala Love in the City 2021 | 2021-02-13 |
Covers concrete Scala 3 features: polymorphic function types (syntax for type-parameterized function literals), type lambdas (square-bracket params and… | ||
| Panel: Programming Languages in the Era of the Cloud | Scale By the Bay 2020 | 2020-11-12 |
Panel argues cloud choices hinge on concrete tradeoffs: Go wins for fast startup and tiny static binaries and cross-compilation; Rust wins for memory control… | ||
| In Types We Trust | Scale By The Bay 2019 | 2019-11-13 |
Proposes expressing semantic contracts as predicate-logic statements that feed both property-based tests and machine-checked proofs and shows concrete support… | ||
| In Types We Trust | Scala Days Lausanne 2019 | 2019-06-11 |
Argues that stronger contracts come from types and proofs rather than only examples, implements a Scala sealed ADT for natural numbers with a recursive +, runs… | ||
| Effective Scala | Scale By The Bay 2018 | 2018-11-15 |
Argues Scala works best as a third way — pragmatic functional object‑oriented code — and gives three concrete rules: pick a project opinion and stick to it… | ||
| Interview | Scale By The Bay 2018 | 2018-11-15 |
Runs Artima and maintains ScalaTest and Scalactic, open source libraries used for Scala and Java testing and quality utilities; authorship credit on… | ||
| Effective Scala | Scala Days Berlin 2018 | 2018-05-14 |
Argues Scala works best with a three‑zone architecture: wilderness at the edge for IO and Java/JS libraries, a pure core using referentially transparent… | ||
| The Fun of Functional Programming Panel | Scale By the Bay 2017 | 2017-11-16 |
Panel argues that functional programming makes code understandable by turning components into pure functions as equations and using types to encode meaning… | ||
| Interview | Scale By the Bay 2017 | 2017-11-16 |
Artima moves a legacy website to AWS and integrates old and new systems while the company scales from one to seven people, forcing delegation and hiring… | ||
| Closing Panel | Scala Days Copenhagen 2017 | 2017-05-30 |
Panel summarizes concrete work: the community build now compiles 104 projects (roughly millions of LOC) and catches regressions every release; collections are… | ||
| The Essence of Testing | Scala Days Copenhagen 2017 | 2017-05-30 |
Nine years of ScalaTest work and a month with one million downloads drives a rethink: tests become single predicate-logic statements (PAQ) expressed with… | ||
| Making software better despite having users | Scala.IO 2016 | 2016-10-27 |
ScalaTest faces concrete tradeoffs: half a million users makes behaviour changes costly; a buggy triple-equals DSL gets fixed for users only if a compiler… | ||
| Making Sotware Better, Despite Having Users | Scala.IO 2016 | 2016-10-27 |
Argues tradeoffs with concrete examples: ScalaTest sees half a million downloads so changes matter; a compiler plugin catches triple-equals misuse (avoids… | ||
| Async Testing on the JVM and Scala.js | Scala Days Berlin 2016 | 2016-06-15 |
ScalaTest 3.0 implements nonblocking tests by making test bodies return Future[Assertion] and adding async variants like AsyncFunSuite; assertions and matchers… | ||
| Scala Days Berlin Closing Panel | Scala Days Berlin 2016 | 2016-06-15 |
Panel covers concrete migration steps: Dotty features landing in 2.12 (trait encoding, union/with changes) and a pragmatic timeline (2.12 M5 now, final around… | ||
| Async Testing on the JVM and Scala.js | Scala Days Berlin 2016 | 2016-06-15 |
ScalaTest 3.0 implements non‑blocking tests that return Future[Assertion] (Assertion is a type alias for the Succeeded singleton), adds Async suite traits… | ||
| Simplifying Scala Collections | Scala World 2015 | 2015-09-20 |
Prototype Collections family that captures an equality type class and produces case-insensitive sets and whitespace-insensitive sets without wrapper types, so… | ||
| nothing matches | ||