Type Constructor và Kind: Nền tảng để hiểu Higher-Kinded Types
Giải thích từ type và Type Constructor đến kind, partial application của Either, và đặt nền tảng để đi tiếp tới Higher-Kinded Types.
Articles tagged kotlin
7 articles about kotlin.
Implementing a race/amb operator for Kotlin Coroutines Flow.
A practical implementation of race/amb for Kotlin Coroutines Flow using channels and select, with first-event-wins semantics.
Result — flatMapError, recover và recoverWith
Mental model và semantics của flatMapError, recover, recoverWith qua custom Kotlin Result, Scala Try và Haskell MonadError.
Under the Hood of Kotlin ArrayDeque: Circular Buffer, Capacity Growth, and Complexity Analysis
Deep dive vào Kotlin ArrayDeque: circular buffer layout, physical vs logical index, capacity growth 1.5x, amortized O(1) analysis, và những trade-off đằng sau một data structure tưởng chừng đơn giản.
Kleisli: Function Composition for Effectful Functions
Kleisli biểu diễn một effectful function A -> M<B>. Nếu M là Monad, andThen (>=>) cho phép compose các effectful arrows — đây là Kleisli composition, hay còn gọi là Right Fish operator 🐟.
Looking at `Dp` class in Jetpack Compose
Why do @Composable functions in Jetpack Compose usually use `Dp.Unspecified` as default value? Why not use null? The optimization of Jetpack Compose under the hood.
Grouping trong Kotlin (Grouping in Kotlin)
So sánh groupBy, groupingBy và reduce trong Kotlin — phân tích time complexity, space complexity, và cơ chế lazy evaluation của Grouping.