Adam Rosien
where else to find them
mastodon:@arosien@fosstodon.org
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Noel Welshonce
who talks about the same things
- Nicolas Rinaudo13 talks
- Eric torreborre11 talks
- Lars Hupel11 talks
- Dave Gurnell7 talks
- Markus Hauck5 talks
- Daniel Ciocirlan5 talks
| title | conference | date |
|---|---|---|
| Async/Await for the Monadic Programmer | Scala Days 2023 Seattle | 2023-06-05 |
Compares monadic for-comprehensions (Futures, Cats combinators, error handling via MonadError) with C#/Scala-style async/await and Cats Effect IO, showing how… | ||
| You Didn't Know It, but You Really Want to Learn Sequent Calculus | Typelevel Summit 2020 | 2020-03-12 |
Shows an implemented sequent-calculus prover in Scala that reifies types to formulas via a ToFormula type class, uses Cats Show for readable output, and… | ||
| Systematic Software with Scala | Typelevel Summit Philadelphia 2019 | 2019-04-01 |
Claims about "ten or so" repeatable Scala strategies get concrete: ten-ish strategies are listed and five are demonstrated by building a tiny stream library… | ||
| Strings are Evil: Methods to hide the use of primitive types | Scala Days Berlin 2018 | 2018-05-14 |
Primitive primitives like Int and String cause bugs by allowing invalid domain values; concrete remedies shown include a simple type alias, a case class with a… | ||
| Lovely for-comprehensions: Scala's most useful syntactic tool | Scala.IO 2014 | 2014-10-23 |
Explains that for-comprehensions desugar to map and flatMap and filter, shows how a one-line for becomes map, nested lines become flatMap chains, and… | ||
| nothing matches | ||