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 haskell
3 articles about haskell.
Result — flatMapError, recover và recoverWith
Mental model và semantics của flatMapError, recover, recoverWith qua custom Kotlin Result, Scala Try và Haskell MonadError.
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 🐟.