Founding Partner and Scala/Dotty Compiler Engineer, Underscore Consulting LLP
Miles has been doing stuff with Scala for more than ten years, currently with Underscore Consulting. He is a cofounder of Typelevel and his best known project, the Scala generic programming library shapeless, is the weapon of choice wherever boilerplate needs to be scrapped or arities abstracted over.
Head over to Miles' blog, check out his projects on GitHub and follow him on Twitter @milessabin.
Talks I've Given
-
2
Grackle – GraphQL Server
Featuring Miles Sabin and Rafał Piotrowski
During this talk, we would like to introduce Grackle GraphQL server. We will show how it can be used and how it works under the hood.
software-development graphql scala -
Shapeless is Dead! Long Live Shapeless!
Featuring Miles Sabin
Shapeless has led the way on automatic type class instance derivation since the arrival of the TypeClass type class back in 2013. Since then this mechanism has evolved through the introduction of the Lazy type which allows the most general form of type class derivation currently available in...
scala compiler -
Typelevel Scala Rebooted - Beginner
Featuring Miles Sabin
The Typelevel fork of the Scala compiler has been reinvogorated 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 scalax typelevel compiler sbt -
Keynote: Typelevel - the benefits of collaboration
Featuring Miles Sabin
A lot has happened since Lars Hupel gave his "State of the Typelevel" keynote at last years Scala eXchange. It hasn't always been plain sailing, but the arrival of the Cats project on the scene earlier this year marked the beginning an exciting period of collaboration among the...
scalax scala scala-cats scalacheck shapeless -
2
What Haskell can learn from Scala
Featuring Lars Hupel and Miles Sabin
The opinions about Scala in the Haskell community differ widely. Most will immediately point out reasons why they think Scala is complex and that Haskell is so much better. But is it really? In this talk, we will take a radically different approach: We will outline what Haskell can learn from...
haskell scala functional-programming -
Case classes a la carte with shapeless, now!
Featuring Miles Sabin
Case classes are one of Scala's main selling points. For escapees from Java they offer a massive reduction in boilerplate and increase in correctness relative to the code that would typically have to be written by hand to achieve the same effect. For people coming to Scala from the Haskell...
scala shapeless -
5
Scala eXchange - Q&A Panel
Featuring Martin Odersky, Miles Sabin, Lars Hupel, 999 444 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 -
Expanding eta-expansion: shapeless polymorphic function values meet macros
Featuring Miles Sabin
Polymorphic function values are one of the key abstractions in shapeless: they are crucial to enabling sequence-like operations such as map, flatMap and filter to be performed on HLists (data structures which combine the heterogeneous typing of tuples with list-like characteristics).
scala -
How to map and fold over an HList in shapeless
Featuring Miles Sabin
In this talk for Scala Days, Miles sabin shows why HLists are so much harder to support, and explain the type class and dependent type based implementation techniques used in the map and fold implementations in shapeless.
scala maps folds -
Scala continuations and NIO meet JVM coroutines
Featuring Miles Sabin
Miles Sabin, certified level 42 Scala type spelunker, will present Scala continuations and NIO meet JVM coroutinesbe presenting for Scala LiftOff London 2011.
scala nio jvm continuations -
Encoding Unboxed Union Types in Scala
Featuring Miles Sabin
In this talk, advanced Scala expert Miles Sabin will show how we can encode union types in Scala. If you've ever wanted to know how to play cool and practically applicable tricks with Scala's type system, then this is the place to be.
scala -
Representing polymorphic function values in Scala using type classes
Featuring Miles Sabin
Miles Sabin -- best known in the Scala world for his outstanding contribution to the Scala IDE for Eclipse -- will describe a new type class based approach to encoding polymorphic function values in Scala.
scala -
Scrap your boilerplate with Scala
Featuring Miles Sabin
The "scrap your boilerplate" approach to generic programming in Haskell has shown how we can write generic traversals of data structures whilst still being able to accommodate type-specific cases.
haskell scala jvm -
Scala IDE for Eclipse
Featuring Miles Sabin
Following the release of 'ScalaIDE for Eclipse' for Scala 2.8, Miles Sabin, the main contributor and lead for the ScalaIDE, will be demonstrating some of the new features that are now included in the Eclipse plugin.
scala eclipse java spring osgi jdt aop -
A brief introduction to Scala for Java developers
Featuring Miles Sabin
Miles Sabin gives a brief introduction to Scala for Java developers covering the basic features of Scala which make it such a productive alternative to Java.
scala java eclipse -
Scala tooling for Eclipse
Featuring Miles Sabin
The scala tooling for Eclipse is based on the seamless integration with the eclipse Java tools. It provides many of the features eclipse users require in order to develop scala based applications.
scala java eclipse demo aspectj jdt