Joseph Abrahamson
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- LambdaConf3 editions2015–2018
on a stage with
never shared a talk
who talks about the same things
- Dave Gurnell7 talks
- Markus Hauck5 talks
- Pawel Szulc28 talks
- Jon Pretty24 talks
- Alejandro Serrano Mena14 talks
- Alexander Konovalov8 talks
| title | conference | date |
|---|---|---|
| The Shape of Shapeless (Part 1) | LambdaConf 2018 | 2018-06-03 |
Claims how Shapeless gives compile‑time generic programming: concrete use of HList and type recursion to turn case classes into tuples, an explicit recipe for… | ||
| The Shape of Shapeless (Part 2) | LambdaConf 2018 | 2018-06-03 |
Walks through concrete techniques to derive code with Shapeless: defines a lexicographic compareHList, exposes output types with the ox pattern (refinement… | ||
| A Better REST with Type level Programming in Scala | LambdaConf 2017 | 2017-05-25 |
Library called Maya (Scala and Scala.js) embeds a type-level DSL so API shape, arguments, local errors and multiplicities live in the Scala type system; a… | ||
| Finally Tagless DSLs and MTL | LambdaConf 2015 | 2015-05-22 |
Claims that MTL is an instance of the Finally Tagless DSL pattern and demonstrates equivalence with ASTs built by fixed-point functors and functor sums, using… | ||
| Give me Freedom or Forgeddaboutit | LambdaConf 2015 | 2015-05-22 |
Claims that freedom is a process: a left adjoint free paired with a forgetful functor (free ⊣ forget), not just a cute datatype. Demonstrates the two concrete… | ||
| nothing matches | ||