Harold Carr
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- LambdaConf5 editions2015–2020
on a stage with
never shared a talk
who talks about the same things
- Pawel Szulc28 talks
- Alejandro Serrano Mena14 talks
- Michael Sperber15 talks
- Adam McCullough6 talks
- Bartosz Milewski10 talks
- Tony Morris16 talks
| title | conference | date |
|---|---|---|
| How to use Phantom Types and Existential Types in Production | LambdaConf 2020 Global Edition | 2020-06-23 |
Shows concrete Haskell code (repo linked) that parses gauge readings, validates them and carries that validation as types: phantom types attach proofs to… | ||
| Refactoring Recursion | Lambda World Cádiz 2019 | 2019-10-17 |
Shows concrete Haskell code that starts with explicit recursive sum/product/length and refactors each into folds, then implements fold/unfold/refold patterns… | ||
| Pluggable Stackable API Implementations | LambdaConf 2019 | 2019-06-05 |
Builds a composable API that stacks a cache + bloom + base map behind the same Data.Map-like interface, shows concrete Haskell code using type families, Except… | ||
| Let's Build a Blockchain | LambdaConf 2018 | 2018-06-03 |
Builds a working toy blockchain in Haskell with SHA-256 hashing and a UDP peer network, implements a simple proof-of-work difficulty 4 (the brute-force miner… | ||
| Refactoring Recursion | LambdaConf 2017 | 2017-05-25 |
Claim: recursion schemes specialized to List let you refactor recursion out of functions without needing Fix for most cases. Demonstrations use concrete tools… | ||
| Programming and Math | LambdaConf 2015 | 2015-05-22 |
Shows an algebra of functions with concrete Haskell code: purity forces IO types, composition and associativity hold, identity and constant functions become… | ||
| nothing matches | ||