Podcast Episodes
Back to SearchThe Microservices Problem No One Warned Us About (And How You Can Avoid It) (bobkonf2025)
Tired of firefighting when a downstream service throws a curveball? We were too, so we figured out a way to build microservices that expect the unexp…
1 year, 7 months ago
Property-Based Testing: The Past, The Present, and The Future (bobkonf2025)
This year marks the 25th anniversary of QuickCheck, the canonical property-based testing library that has found its way into virtually every programm…
1 year, 7 months ago
Recursive Definitions in Lean (bobkonf2025)
The logic underlying the Lean programming language and theorem prover does not know recursive functions, yet Lean users can define functions recursiv…
1 year, 7 months ago
OOP is dead, long live Object Orientation! (bobkonf2025)
I’m a functional programmer at heart, and believe that the declarative semantics of functional programming are vastly superior to the kind of OOP we’…
1 year, 7 months ago
Functional data structures in Swift (bobkonf2025)
One of the intriguing features of Swift is its distinction between value types and reference types. Conceptually, value types are always copied in as…
1 year, 7 months ago
Things We Never Told Anyone About Functional Programming (bobkonf2025)
FP—what is it good for? The “P” is for “Programming”, the writing of programs. Judging from the papers and most books on functional programming, FP e…
1 year, 7 months ago
Against the (formal) method? (bobkonf2025)
Formal methods are very often touted as a necessary evolution of software development to cope with increasing complexity, risks, and challenges. This…
1 year, 7 months ago
A Language Server for your DSL for Fun and Profit (bobkonf2025)
Domain-specific languages (DSL) are well-studied tools for solving problems specific to a domain. Especially in the Haskell Community, DSLs are quite…
1 year, 7 months ago
Developing DSLs: A Look at Three Practical Strategies with Real-World Examples (bobkonf2025)
Domain-specific languages (DSLs) are languages specialized for a particular domain, and are typically equipped with features that make them well-suit…
1 year, 7 months ago
Correct by Construction Concurrent Programs in Idris 2 (bobkonf2025)
Concurrent programs destructively updating shared memory are notoriously hard to get right. Concurrent separation logics are logics with built-in not…
1 year, 7 months ago