The Typelevel fork of the Scala compiler has been reinvigorated by the recent community fix for SI-2712, a long-standing problem of type inference for projects which make extensive use of higher-kinded types. Scala projects. Scala projects. Scala ... Read more
shapeless is a type class and dependent type based generic programming library for Scala. It had its origins in several talks by Miles Sabin (@milessabin), given over the course of 2011, on implementing scrap your boilerplate and higher rank polym... Read more
The workshop will start with a walkthrough of various parts of the library, followed by dojo style challenges using, extending or borrowing ideas from shapeless to solve problems chosen by the participants. With any luck we might be able to genera... Read more
Scala is a modern hybrid object-functional programming language for the Java Virtual Machine. It has seen growing popularity and near-mainstream acceptance in recent years, in part because it can be viewed as a “better Java” and has been successfu... Read more
Claim your profile today and start building your speaker history.
Miles does stuff with Scala for Precog. When not working on Precog, he does his utmost to break Scala’s typechecker with his project shapeless and is a regular speaker at Scala and functional programming events. He can often be found walking in the South Downs around his home in Brighton with a camera and an unfeasibly energetic English Springer Spaniel named Tigger.