Podcast Episodes
Back to SearchOOP 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
Beyond the Basics of LSP: Advanced IDE services for OCaml (bobkonf2025)
LSP has greatly standardised the behaviour of IDEs, in a good direction: we can provide, de-facto, decent language support in editors supporting LSP.…
1 year, 7 months ago
Service-less communication: is it possible? (bobkonf2025)
This talk is going to focus on peer-to-peer apps. We’ll try to answer the question: how to build an app that will enable information exchange between…
1 year, 7 months ago
Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers (bobkonf2025)
Die Netze BW als Verteilnetzbetreiber für Strom, Gas und Wasser in Baden-Württemberg entwickelt und betreibt Software für den Betrieb von Netzen. Als…
1 year, 7 months ago