From Functions to Inlinable Effects in Kotlin by Michail Zarecenskij
Lambda World 25
•
27m
In this talk, we'll explore how Kotlin combines imperative and functional programming styles. We'll look at how to manage effects without relying on effect handlers, how inline functions play a key role, and how must-use return values help gently distinguish pure functions from those with side effects. We'll also touch on the role of context programming and how it fits into this model. Along the way, we'll examine how these patterns perform at runtime and what trade-offs they bring.
Up Next in Lambda World 25
-
Complexity is a sin by Volodymyr Yaro...
Code complexity is something that turns “new fun project” into “legacy code”, if left uncontrolled. Unfortunately, you cannot write CI check for it, so it is up to developers discipline in every PR. This talk is about recognising complexity, accessing the potential damage and how to fix it.
-
Functional Rust: From ADTs to Advance...
Rust combines the rigour of functional programming with the low-level control of a systems language, giving developers the tools to model invariants, compose logic with clarity, and run workloads safely at scale. In this talk, we'll refactor a deliberately "bad" Rust example into a safe, expressi...
-
Total Functions for Automated Reasoni...
While much of today's AI focuses on statistical methods, a well-established parallel exists in the form of symbolic, also known as Good Old-Fashioned AI (GOFAI). Here, programs manipulate logical formulas to solve strictly defined problems through reasoning rather than learning. Automated theorem...
