Functional Web APis in Practice
summary
Claims that the Kotlin compiler plus Arrow.kt let the domain types and compiler catch bugs so APIs avoid framework magic, mocks and thrown exceptions. Implements a user-registration pipeline that uses Kotlin value classes for strong types, Arrow Validated Nel + semi‑group zipping to accumulate multiple validation errors, Either to short‑circuit DB checks, suspend/coroutine creation to capture failures, and adapters for Spring Boot and Vert.x; the end result is a working, composable register -> encode -> store flow returning a user ID.
AI-written summary · about
chapters (22)
- 0:00Start
- 1:21Practical Approach to Functional Programming
- 2:47Functional Programming
- 5:09Error Accumulation
- 5:37Encode the Password
- 9:04Value Classes
- 13:39Non-Empty List
- 14:11What Is Failure
- 18:58Associativity
- 23:29Avoid Framework Magic
- 28:06Api Create Core Routine
- 30:57Continuation Passing Style
- 34:26Dependencies
- 34:53Delegation
- 36:07Registration Context
- 38:42Context Receivers
- 39:56Spring Boot
- 40:27Returning Exceptions Safely
- 44:40Routes
- 45:58Register the Registration Context
- 46:27Inline Functions
- 52:13Mongo Client
related talks
41mAn Arrow to the Kotlin
47mFunctional programming in Kotlin: exploring Arrow
51mFunctional fashion for Kotlin projects
42mDesign for errors - An introduction to Domain Modeling with Arrow
28mArrow Fx: Functional Domain Modeling with Kotlin
44mError Handling Beyond the Standard Library
30mFunctional programming in Kotlin: exploring Arrow
50mKotlin and Spring boot a pleasant experience and some rough edges