The hour of Jon’s Fury — Builds are Infuriating & Lifting Data Structures to the Type Level

July 19, 2018 (Thursday) @ Coworking Rynek 28

Talk #1: ”Builds are Infuriating” by Jon Pretty

Abstract

Fury is a new build and dependency manager for Scala, taking a revolutionary new approach to how Scala may be developed in the future. At Scala Sphere in April, I gave an introduction to Fury, but three months later, it is about time you saw Fury in action!

So I will give an overview of Fury’s capabilities, and a live demonstration where we will go through the steps of creating, developing, building and publishing a build for an existing open-source Scala project.

You will see how easy it becomes to make, modify, and maintain Fury builds and get an insight into how I envisage Scala’s ecosystem changing for the better over the next few years.

The talk will be a very interactive session, with interruptions and suggestions welcome, so please bring and ask questions!

Talk #2: “Lifting Data Structures to the Type-level” by Jon Pretty

Abstract

In this talk, I will give a fast-paced tour of how various features of the Scala type system, many of them under-explored, can be harnessed to construct type-level representations of a number of different datatypes in Scala. The type system offers a limited number of “tools”, such as subtyping, least-upper-bound inference, type unification, singleton types and dependent types and (of course) implicit search, which we can compose in interesting ways to implement type-level operations on these type-level data structures.

Value-level operations follow naturally from the types, but they are much less interesting.

Bio

He is a longstanding contributor to the Scala community, having launched the first commercial applications written in Scala over ten years ago. He is best known for his work on Rapture, and his contributions to Typelevel Scala.

Photos