Sign in

Alejandro Serrano Mena

@serranofp.com
245 followers 112 following 119 posts

👨‍💻 Researcher @ Kotlin Evolution @ JetBrains 🧙‍♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books

PostsRepliesMedia
Alejandro Serrano Mena @serranofp.com · 28/09/2026
Furthermore, you get IDE completion and diagnostics for free! For example, the plug-in ensures that properties are read-only, and that all required properties are set.
000
Alejandro Serrano Mena @serranofp.com · 28/09/2026
I'm super happy to announce my latest project: the Builder Lambda plug-in! github.com/serras/build... This plug-in re-exposes builders from Java in a Kotlin-idiomatic way: as a lambda in which you set the different properties. The generated code has no trace, though, it calls the builder directly.
131
Alejandro Serrano Mena @serranofp.com · 18/09/2026
010
Alejandro Serrano Mena @serranofp.com · 17/09/2026
Almost there
100
Alejandro Serrano Mena @serranofp.com · 17/09/2026
There we go! @ktconf.bsky.social
110
Alejandro Serrano Mena @serranofp.com · 19/05/2026
DrinkWithoutGasNotFoundException
110
Alejandro Serrano Mena @serranofp.com · 19/05/2026
There we go! @kotlinconf.com
1100
Alejandro Serrano Mena @serranofp.com · 12/01/2026
Yay, I'll be speaking in @amsterdam.voxxeddays.com! Curious about how early returns are used in Kotlin?
1105
Alejandro Serrano Mena @serranofp.com · 09/11/2025
All in for lack of uniformity
000
Alejandro Serrano Mena @serranofp.com · 09/11/2025
Taking a break from high level languages 🎮
130
Alejandro Serrano Mena @serranofp.com · 20/09/2025
One of my outcomes of @ktconf.bsky.social is an improved version of my "FIR Tree" plug-in, that now can show the statements/implications in the Control Flow Graph plugins.jetbrains.com/plugin/23270...
0163
Alejandro Serrano Mena @serranofp.com · 22/04/2025
New release of the Arrow plug-in for IntelliJ-based IDEs, with fixes and new gutter icons for Raise and Eval arrow-kt.io/community/bl...
040
Alejandro Serrano Mena @serranofp.com · 22/03/2025
My new weekend project: a small plug-in for @intellijidea.com that inlines information about mismatches in @kotlinlang.org code github.com/serras/kotli...
0102
Alejandro Serrano Mena @serranofp.com · 23/11/2024
With input from community and contributors, we've re-organized the Arrow website to better showcase what it has to offer to the Kotlin ecosystem We've also changed the tagline, as Arrow is now way more than just "FP for Kotlin" arrow-kt.io
010