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!

scalax scala

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...

library open-source interpolated-strings macros scalax scala

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...

scala dependent-types typesafe

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