Jon Pretty
where else to find them
what they talk about
all 11 in the filters
where they keep going back
- Scalar3 editions2018–2020
- Scala World3 editions2015–2019
- Scala.IO Nantes2 editions2014–2017
all 10 in the filters
on a stage with
all 33 in the filters
who talks about the same things
- Bill Venners21 talks
- Martin Odersky47 talks
- Miles Sabin13 talks
- Nicolas Rinaudo13 talks
- Eric torreborre11 talks
- Dave Gurnell7 talks
| title | conference | date |
|---|---|---|
| Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back! | LambdaConf 2025 | 2025-05-12 |
Claims a practical Scala 3 library called Soundness lets code return plain success types while encoding precise failure types via context functions and a… | ||
| 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… | ||
| PROBING THE UNPROVABLE AND PROVING THE IMPROBABLE | Scalar 2020 | 2020-05-15 |
Two new Scala libraries appear: Probably is a tiny orthogonal test library that treats tests as ordinary expressions or statement assertions, runs them inline… | ||
| Running Amok: Igniting a Documentation Revolution | ScalaIO 2019 | 2019-10-29 |
Claims a documentation revolution and gives a concrete toolchain: Amok plus integration with Fury that indexes and aggregates documentation stored by commit so… | ||
| Fast and Furious | Scala World 2019 | 2019-09-11 |
Build tool that compiles entire dependency graphs from source dependencies to avoid runtime linking errors, names builds by IPFS hashes so layers are… | ||
| ELEVEN LITTLE LIFE-ENHANCING LIBRARIES | Scalar 2019 | 2019-04-05 |
Eleven Propensive microlibraries each solve one concrete problem: compile-time checked interpolators for emails and CSS, CSV parsing/serializing (Caesura)… | ||
| The Future of Scala | ScalaIO 2018 | 2018-10-29 |
Scala 3 brings new metaprogramming to replace Scala 2 macros while migration of the ecosystem is likely to be bumpy; the talk outlines upgrade strategies and… | ||
| Ten Cool Things You Can Do With Scala 3 | Scala Italy 2018 | 2018-09-14 |
Claims concrete language changes: single-line enums and one-line ADTs replace boilerplate; simplified type lambdas and named type parameters remove awkward… | ||
| LIFTING DATA STRUCTURES TO THE TYPE-LEVEL | Scalar 2018 | 2018-04-06 |
Shows how value-level List/Set/Map lift to type-level equivalents (HList, HSet, HMap) and proves it’s practical: uses implicit-based type classes for contains… | ||
| Magnolia: Generic Derivation 2.0 | Scale By the Bay 2017 | 2017-11-16 |
Magnolia is a ~400-line Apache-2 macro that generates typeclass instances for case classes, sealed traits, case objects, value classes and tuples, with special… | ||
| Deriving pleasure | Scala.IO 2017 | 2017-11-02 |
Generates a claim: Magnolia is a compact macro (~300 lines) that produces generic type-class derivations without shapeless, with concrete mechanics — it… | ||
| Encoding Async Graphs with Dependent Types | Scala World 2017 | 2017-09-16 |
A small Scala library called impromptu encodes async task DAGs in types by using singleton intersection types to represent each node s dependency set and an… | ||
| 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… | ||
| Easy Static Checking for Embedded DSLs in Scala with Contextual | Scala Days Copenhagen 2017 | 2017-05-30 |
Library contextual produces compile-time checked interpolators for Scala by exposing literal parts to user code while handling the macro plumbing internally… | ||
| Closing Panel | Scala Days Copenhagen 2017 | 2017-05-30 |
Panel reports concrete progress: ScalaFix uses compiler symbols and types to do accurate, batch refactorings (unused imports removal, automated migration… | ||
| Contextual: Enhancing Scala with Your Own Compile-time Checks | LambdaConf 2017 | 2017-05-25 |
Contextual is an open-source Scala library that makes interpolated strings subject to compile-time interpolation checks by running a macro that validates… | ||
| 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… | ||
| Principles of Elegance | Scala Days Berlin 2016 | 2016-06-15 |
Scala libraries Rapture use implicits, type classes and macros to push checks into the compiler: CSS macro validates properties at compile time, HTML5 nesting… | ||
| Principles of Elegance | Scala Days Berlin 2016 | 2016-06-15 |
Argues that Scala lets libraries hit an elegance zone by combining concise syntax with strong typing and shows concrete Rapture work: a CSS string-context… | ||
| Minimizing the Slippery Surface of Failure | Scala World 2015 | 2015-09-20 |
Shows how Scala dependent typing and implicits produce a CLI library prototype (rapture CLI) that encodes parameter structure in types so lookups are provably… | ||
| Scalar Conference 2015 Summary | Scalar Conference 2015 | 2015-04-11 |
Founded to fill a gap of Eastern Europe lacking a quality Scala conference, the event runs its second edition as free-to-attend with 30-minute talks that pack… | ||
| Delimited dependently | Scalar Conference 2015 | 2015-04-11 |
Scala code uses an imported mode to turn ordinary APIs into checked-exception APIs with almost no call-site syntax, implemented with implicits and type-level… | ||
| Typelevel Scala: What does it mean ? | Scala.IO 2014 | 2014-10-23 |
A forked experimental Scala compiler aims to try concrete changes rather than promises: nightly builds and Jenkins CI already run, an SBT plugin and bridging… | ||
| Rapid Rapture! | Scala.IO 2014 | 2014-10-23 |
A tiny Scala library demonstrates a dynamic Scala JSON API that lets code navigate JSON with JavaScript-like syntax, then call .as[T] to extract into case… | ||
| nothing matches | ||