Past Meetup

Special Summer Meetup: The hour of Jon's Fury

This Meetup is past

52 people went

Location image of event venue

Details

Hi!

The reason of our Special Summer Meetup is that Jon Pretty's coming to Cracow! Take a look at his talks:

Topic 1: Builds are Infuriating

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!

Topic 2: Lifting Data Structures to the Type-level

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.

Jon's 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.

Hope to see you there!
KSUG Team

***
Please note that both talks will be in English.