Type Proofs and FP for the Kotlin Type System
about 6 years ago
Type Proofs is a new compiler plugin built on Arrow Meta enabling new features in the Kotlin type system, such as Type Classes, Union Types, Type Refinements, and many other extensions that make Functional Programming easier in Kotlin.
Read
Writing a Kotlin Compiler Plugin with Arrow Meta
about 6 years ago
Learn how to write and test the debuglog compiler plugin in Arrow Meta. Here is the compiler plugin debulog-arrow-meta explained in the article.
Read
Template-Oriented-Programming to Ship Faster, Part-1
about 6 years ago
Learn about the magic of Ad-hoc polymorphism using Arrow typeclasses with simple examples.
ReadTemplate-Oriented-Programming to Ship Faster
about 6 years ago
With a POC using Spring-fu + Kotlin + Arrow, let's Convert Monomorphic code (for common use-cases such as Auth, Validation) to Polymorphic reusable templates, to be reused among heterogeneous services built on different tech-stacks (blocking/non-blocking). This helps accelerate feature development.
Read
Explaining the Arrow Android sample
about 6 years ago
Arrow is an exciting development for Kotlin developers interested in functional programming and, more broadly, pushing the limits of the Kotlin compiler.
Read
IO integration with kotlinx.coroutines
over 6 years ago
This article showcases the brand new Arrow integration module for KotlinX Coroutines included in the Arrow 0.10.5 release.
Read
FP with Kotlin/Arrow: Monad Comprehensions & Parallel Processing
over 6 years ago
Arrow has multiple libraries available for functional programming. In this talk we'll focus on Arrow FX and learn how to handle IO in a functional way with an introduction to monadic composition. Then we'll examine how to compose monads in a cleaner fashion with Arrow FX's monad comprehensions. Finally, we'll take a look at how to parallelize IO monads with parallel map strategies.
Read