Miles Sabin
where else to find them
website:http://milessabin.com/blog
github:milessabin
bluesky:milessabin.com
mastodon:@milessabin@types.pl
speakerdeck:milessabin
what they talk about
all 6 in the filters
where they keep going back
- Scala Days Berlin2 editions2016–2018
all 10 in the filters
on a stage with
- Adriaan Moorsonce
- Edwin Bradyonce
- Felix Mulderonce
all 7 in the filters
who talks about the same things
- Jon Pretty24 talks
- Martin Odersky47 talks
- Bill Venners21 talks
- Guillaume Martres10 talks
- Adelbert Chang8 talks
- Adriaan Moors11 talks
| title | conference | date |
|---|---|---|
| Grackle GraphQL server | ScalaCon 2022 | 2022-10-04 |
Grackle compiles GraphQL into a small query algebra, elaborates field arguments into filters/orders/limits, and either interprets in-memory Scala values or… | ||
| The Shape(less) of Type Class Derivation in Scala 3 | Scala Days Lausanne 2019 | 2019-06-11 |
Scala 3 adds three concrete primitives—Mirror, derives clause and a companion-driven derived hook—that let libraries synthesize typeclass instances with… | ||
| Adding kind-polymorphism to the Scala programming language | Code Mesh LDN 2018 | 2018-11-08 |
Argues that adding kind-polymorphism to Scala lets type parameters accept constructors of any arity, implemented as a minimal prototype in the Typelevel Scala… | ||
| Adding Kind-polymorphism To The Scala Programming Language | Scala Italy 2018 | 2018-09-14 |
Argues Scala needs kind-polymorphism so generic derivation can move out of macros into the compiler, enabling shapeless-style features without fragile macro… | ||
| Adding kind-polymorphism to the Scala programming language | Scala Days Berlin 2018 | 2018-05-14 |
Proposal: add universal kind polymorphism so generic derivation handles type constructors of arbitrary kind instead of only and ->. Prototypes live in… | ||
| Closing Panel | Scala Days Copenhagen 2017 | 2017-05-30 |
Panel reports concrete progress: ScalaFix uses compiler symbols and types to do accurate, batch refactorings (unused imports removal, automated migration… | ||
| Typelevel Scala Rebooted | Scala.IO 2016 | 2016-10-27 |
A concrete fix for SI-2712 arrives as a weekend proof‑of‑concept and is merged into Typelevel Scala and backported to 2.11/2.12 candidates; the project ships… | ||
| Typelevel Scala Rebooted | Lambda World 2016 | 2016-09-30 |
Typelevel Scala ships a patched compiler that actually fixes SI-2712 (higher‑kinded type inference), backports it to 2.11 and provides a 2.12‑aligned build; it… | ||
| Typelevel in 2016 | Scala Days Berlin 2016 | 2016-06-15 |
Typelevel reports concrete progress: Cats reaches ~2,000 commits and ~100 contributors and splits a stable Cats kernel for binary-stable reuse; projects… | ||
| Kittens: Shapeless Typeclass Derivation for Cats | Scala World 2015 | 2015-09-20 |
Claims automatic derivation of Cats typeclasses (Functor, Foldable and friends) for ADTs with no handwritten instances by combining kittens with shapeless… | ||
| Scala vs Idris: Dependent types, now and in the future | Strange Loop 2013 | 2013-09-18 |
A head-to-head of concrete engineering: Idris demonstrates full dependent types, builds sized vectors and an effects DSL that type-checks, compiles and runs… | ||
| nothing matches | ||