Media

post image

Type Proofs and FP for the Kotlin Type System

  • Chicago Kotlin User Group Meetup
  • May 27, 2020

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.

Type Proofs propositions are expressed as extension functions that unlock new relationships between types ad-hoc whilst remaining fully compatible with subtype polymorphism and the existing inheritance type system.

This talk demonstrates some of the new features the Arrow team is introducing in Arrow at the type level and IDE and how others can benefit from them when building libraries and applications.

Arrow Meta
post image

Writing a Kotlin Compiler Plugin with Arrow Meta

  • April 08, 2020

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.

Arrow Meta
post image

Keep insisting - Arrow Meta

  • KotlinConf, Copenhagen
  • December 06, 2019

Arrow Meta is a library that empowers library and application authors with the ability to write plugins for the Kotlin compiler. Compiler plugins have access to all compiler phases and can intercept and modify the AST, descriptors, and IR intermediate lang for bytecode generation.

Arrow Meta
post image


Arrow Fx & Arrow Meta - Functional Programming for the masses

  • Functional JVM Meetup, Prague
  • November 27, 2019

In this meetup we discuss the new features of Arrow Fx to write “effectful” programs with an emphasis on simple and declarative programming for everyone. Additionally, we see how Arrow Meta works and how we can use it to improve the ergonomics of Functional Programming in Kotlin.

Arrow Meta Arrow Fx
post image

Arrow Meta - Enabling Functional Programming in the Kotlin Compiler

  • Lambda World, Cádiz, Spain
  • October 18, 2019

Arrow Meta is a library that empowers library and application authors with the ability to write plugins for the Kotlin compiler. Compiler plugins have access to all compiler phases and can intercept and modify the AST, descriptors, and IR intermediate lang for bytecode generation.

Arrow Meta
post image





Arrow Docs

  • August 01, 2017

Take a look at the Λrrow documentation Here. Test and modify real-time code snippets.

Arrow Core Arrow Optics Arrow Fx Arrow Incubator Arrow Meta

Books

Recommended reading for learning Functional Programming in Kotlin from Arrow maintainers, users, and the Kotlin ecosystem: