Jon has been having fun riding the bleeding edge of Scala for over a decade, and he's not finished yet. While he's not travelling the world attending Scala conferences, or organizing Scala World, Jon spends his time working on a variety of open-source Scala libraries, and providing professional Scala training services.
Talks I've Given
-
How I Rebuilt the Typelevel Ecosystem with Fury
Featuring Jon Pretty
Fury is a new build tool and dependency manager for Scala, based on a radical new model of source dependencies and distributed builds. The Typelevel ecosystem offers a platform of many useful Scala projects which have been converted to use Fury.
scala matters -
Workshop: Getting Started With Fury!
Featuring Jon Pretty
Fury is still in beta, but it already makes it very easy to write builds for Scala. In this workshop, your will learn about the process of creating, publishing and maintaining a build for a Scala project using Fury. Jon will describe Fury's model of workspaces, projects and modules. He will...
scala fury functional-programming scalax scalax2gether -
Fire and Fury
Featuring Jon Pretty
Fury (https://fury.build/) is a new dependency manager and build tool for Scala, taking a disruptive new approach to how Scala developers can build, share and publish software in the future.
scala functional-programming fury tooling compilation building -
Impromptu: Using Dependent Types to Build a Better API for Async Call Graphs
Featuring Jon Pretty
Writing asynchronous code is often an uneasy fit for a language like Scala. While high-level constructs like Futures facilitate asynchronous programming, syntactic limitations often make blocking or the unchecked access of asynchronously-computed values more natural than the safer alternatives.
programming async api scala -
Magnolia: Generic Derivation 2.0
Featuring Jon Pretty
London Scala User Group and ScalaX Bytes have come together for this event with long time Scala programmer Jon Pretty! Don't miss it!
functional shapeless datatypes typeclasses jvm magnolia scala -
Writing your own compile-time checks for your favourite embedded DSL!
Featuring Jon Pretty
Interpolated strings, like the familiar
s""
, provide a convenient way to embed external DSLs in Scala source, allowing you to construct a new value at runtime from a string literal, with Scala expressions substituted within it. But unless you are prepared to implement the interpolator... -
3
Lightning Talk Sessions 1
Featuring Jon Pretty, Daniel Rey and Martin Carolan
This session will consist of three 15-minute Lightning Talks!
scala scalax -
Contextual: Easy compile-time checking of interpolated strings without macros!
Featuring Jon Pretty
Interpolated strings, like the familiar
s""
, provide a convenient way to embed external DSLs in Scala source, allowing you to construct a new value at runtime from a string literal, with Scala expressions substituted within it.But unless you are prepared to implement the interpolator...
scala scalax macros interpolated-strings open-source library -
Exploiting Dependent Types for Safer, Faster Code
Featuring Jon Pretty
Scala's type system allows you to enforce compile-time constraints on your programs, and to take advantage of these constraints to help reason about your code. Yet you still frequently encounter situations where extracting a value from a map is not guaranteed to succeed, or mapping across a...
typesafe dependent-types scala -
5
Scala eXchange - Q&A Panel
Featuring Martin Odersky, Miles Sabin, Lars Hupel, Jon Pretty and Kingsley Davies
This year's panal begins with a Q&A session on 'Typelevel and what it means for the Scala ecosystem'. On the panel will be Martin Odersky, Miles Sabin, Lars Hupel and Jon Pretty.
scala -
Demystifying Type Inference
Featuring Jon Pretty
Understanding type inference in Scala is often seen as a dark art. How does the compiler sometimes manage to conjure up exactly the correct type from an horrendous tangle of generic method calls, while at other times it draws a blank at something that seems plainly obvious to everyone else?
scala types -
Batshit Crazy Algebra with Types
Featuring Jon Pretty
What would it mean to ""add"" or ""multiply"" types like Boolean and List[Int]? What interpretation could you possibly attribute to differentiating types, and what's this got to do with zippers? London Scala User Group will be joined by Jon Pretty who...
algebraic-data-types scala types -
How to please everyone, all the time - lessons in Scala API design
Featuring Jon Pretty
How do you design a library which satisfies a dozen different use cases? How can the same API be ideal for the rigour of a mission-critical production environment, yet still perfect for quick scripting in the REPL?
scala api scalax library-design -
Rapture I/O
Featuring Jon Pretty
Jon Pretty (@propensive) will be talking about Rapture I/O (http://rapture.io), a comprehensive open-source Scala library providing much of the functionality of the java.io and java.net packages with a much more intuitive and extensible Scala API.
open-source scala json java -
I/O, I/O, it's off to work we go...
Featuring Jon Pretty
After a warm reception at Scalathon in Philadelphia this summer, Jon will be introducing Rapture I/O, a general and extensible open-source library for handling a variety of I/O operations in Scala. Rapture I/O provides an consistent, expressive, type-safe and predictable API for resource...
scala scala-2.10 -
Keynote: The Rapture Platform as a Service
Featuring Jon Pretty
Jon Pretty opens day 2 with the keynote, discussing the Rapture Platform as a Service offering that his company has been building
scala -
Developing Scalable Software on the Cloud
Featuring Jon Pretty
In this talk, Jon Pretty will be exploring the problems of developing scalable software on the Cloud, from building and version management through to deployment, scaling and monitoring.
scala cloud scaling monitoring -
Design Patterns in Scala
Featuring Jon Pretty
For May's London Scala User Group, Jon Pretty will deliver a whirlwind tour of design patterns in Scala, including (but not limited to) Utility Belt, Pimp-my-library, algebraic data types, Concept and Cake.
algebraic-data-types patterns scala -
2
Type Classes and Cake Patterns
Featuring Iulian Dragos and Jon Pretty
In this talk, Iulian Dragos and Jon Pretty talk about Type Classes and Cake Patterns.
scala lift