Greg Pfeil
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- Typelevel Summit Philadelphia2 editions2016–2019
on a stage with
never shared a talk
who talks about the same things
- Alexander Konovalov8 talks
- Alejandro Serrano9 talks
- Bartosz Milewski10 talks
- Daniela Sfregola11 talks
- Kris Nuttycombe3 talks
- Lars Hupel11 talks
| title | conference | date |
|---|---|---|
| The Monoiad: an epic poem on monoids | Typelevel Summit Philadelphia 2019 | 2019-04-01 |
Scala and Haskell code and a companion repo (Cheshire, plus a sister library doll) demonstrate encoding monoids at the type and categorical level, using SBT… | ||
| Duality and How to Delete Half (minus ε) of Your Code | Scale By The Bay 2018 | 2018-11-15 |
Claims that 96% minus ε of duplicated recursion-schemes code disappears by abstracting folds/unfolds over comonads and arrow categories, collapsing monadic… | ||
| Scale By The Bay 2018 Unconference: Greg Pfeil | Scale By The Bay 2018 | 2018-11-15 |
Dhall is a total, non-Turing-complete configuration language that still expresses functor, monad and category abstractions, implements kind polymorphism and… | ||
| Category-parametric Programming | ScalaIO 2018 | 2018-10-29 |
Claim: most categorical constructions are parametric over the category, so you can write one generic library and specialize it. Implementation uses Scala +… | ||
| Efficient Nanopass Compilers using Cats and Matryoshka | Typelevel Summit Philadelphia 2016 | 2016-03-02 |
Claims a new recursion-scheme library, Matryoshka, lets many tiny, safe AST transformations be written independently but fused into a few efficient passes… | ||
| nothing matches | ||