- ๐ป I'm a big fan of Functional Programming as a way to deliver correct software
- ๐ฐ I love to think about the product / service aspects of software
- ๐บ I favor working remotely, this can be very effective
- ๐ท Besides my keyboard I regularly exercise my fingers on my saxophone
- specs2 a BDD library for Scala
- registry a dependency injection library for Haskell (or a typeclass alternative depending on how you see it)
- potions a command-line arguments parsing library for Unison
- What Haskell taught us when we were not looking!
- The many faces of modularity
- The Eff monad, one monad to rule them all
- Streams, effects, and beautiful folds, a winning trilogy
- Down to the wire
- Wire once, rewire twice
- Specs2, from starters to dessert and ... a look in the kitchen
- What is so unique about Unison?
- Tagless final, for real
- The application toolbok
- specs2, the next 10 years
- Becoming reasonable
- Scrap your typeclasses
- When FP does not save us
- Do we need effects to get abstraction?
- A balancing act
- Freer doesn't come from free
- A better add operator for HLists
- Processing CSV files in Haskell
- A neat trick from ICFP 2016
- The essence of the iterator pattern
โก Recent GitHub Activity
- ๐ Merged PR #8365 in build-trust/ockam
- ๐ฃ Commented on #8365 in build-trust/ockam
- ๐ฃ Commented on #8365 in build-trust/ockam
- ๐ช Opened PR #8416 in build-trust/ockam
- ๐ Merged PR #8415 in build-trust/ockam