Arrow Meta - Enabling Functional Programming in the Kotlin Compiler

on YouTube ↗25m

" summary

Arrow Meta is a Kotlin compiler plugin library that intercepts AST and IR interception and rewrites code before type checking, generates automatic synthetic descriptors so IDEs stop showing generated-code errors, and plugs into JVM/JS/Native and the experimental IR back end. Demoed features include a transform that rewrites FX/comprehension blocks to flatMap, monad comprehensions and IDE line markers that show binds; the demo-generated code typechecks and the editor integration works.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 1:34THE KOTLIN COMPILER
3. 9:07CONFIG
4. 11:36QUOTE TEMPLATES
5. 13:07BRING YOUR FEATURES TO THE EDITOR
6. 16:58OPTICS
7. 17:36COMPREHENSIONS
8. 18:02TYPE CLASSES

" related talks

• 47mExtending kotlinx.serialization with Arrow MetaKarin-Aleksandra Monoid · Joker 2021
• 47mFunctional programming in Kotlin: exploring ArrowTies van de Ven · Voxxed Days Luxembourg 2022
• 50mState of the functional ecosystem in Kotlin: Mid 2018 checkupPaco Estévez · Conference for Kotliners 2018
• 27mLeveraging the power of ArrowMonika Kumar Jethani · GDG DevFest Bangalore 2018
• 40mArchitecting Typed FP Applications & Libraries in Kotlin with ArrowRaúl Raja Martínez · Lambda World Seattle 2018
• 44mExploiting Kotlin Metadata + Annotation ProcessingEugenio Marletti · Conference for Kotliners 2018
• 39mFunctional Programming in Kotlin with ΛrrowRaúl Raja Martínez · KotlinConf 2018
• 28mArrow Fx: Functional Domain Modeling with KotlinSimon Vergauwen, Raúl Raja Martínez · Conference for Kotliners 2020