Alejandro Serrano Mena
Alejandro Serrano Mena
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
250 followers112 following126 posts
Alloy 6 [https://alloytools.org/] has always been my favorite formal verification tool. Alas, its awesome graphical capabilities were packaged in a less-than-awesome UI. But no more! I've created an IntelliJ plugin that dresses Alloy with nicer clothes plugins.jetbrains.com/plugin/35343...
Alejandro Serrano Mena reposted
Arrow 2.3.0 is out! arrow-kt.io/community/bl... Highlights: 🔮 Arrow Optics is now a compiler plugin, giving us better integration and IDE support ⛓️ Non-empty collection literals 🪂 Improvements in SuspendApp
Alejandro Serrano Mena reposted
Want to see KotlinConf 2027 from the inside? Join the volunteer team for a backstage pass (well, a volunteer badge). Meet fellow Kotlin fans, catch great talks, and help bring the conference to life. The call for volunteers is open! Apply here: https://kotl.in/8b9tdz
In a few weeks I’ll be taking about Kotlin contracts in Amsterdam www.meetup.com/dutch-kotlin...
Alejandro Serrano Mena reposted
We're looking for amazing talks to put into the KotlinConf 2027 agenda, with submissions open until Nov 27! You can find more info, plenty of inspiration, and everything else you need to submit a talk on the Speakers page:
Alejandro Serrano Mena reposted
We have some really cool improvements coming up for companions in Kotlin 2.5. Get a sneak peak from Alejandro's blog post now:
Alejandro Serrano Mena reposted
Kotlin’s companions are getting an upgrade. 👀 Kotlin 2.5.0 introduces experimental companion blocks – a lightweight alternative to companion objects. Learn what they unlock and how to enable them 👇 https://kotl.in/aby7vp
Alejandro Serrano Mena reposted
Companion Blocks & Extensions are ready for testing in Kotlin 2.5.0-Beta1. I've spent a good chunk of the last months working on this feature, so I'm very excited for the experimental release. blog.jetbrains.com/kotlin/2026/...
In case it's not clear from the example, this plug-in has 100% arisen from me getting tired of writing `.build()` when using Spring AI.
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.
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.
Writing compiler plug-ins for @kotlinlang.org is such a nice experience, and I hope we see more of them in the ecosystem.
Alejandro Serrano Mena reposted
Alejandro Serrano Mena reposted
It's out! Learn more about Name-Based Destructuring in Kotlin. I promise not to make you sing. www.youtube.com/watch?v=He8J...
Alejandro Serrano Mena reposted
📢 Kotlin devs, we want to hear from you! We're running a survey to understand your day-to-day challenges and experiences with Kotlin – whether it's the language, the tools, or the IDEs. It only takes 15 minutes! Share your thoughts with us here: https://kotl.in/hajfxg
Alejandro Serrano Mena reposted
📍 The Kotlin roadmap has been updated! The four directions we're focused on: ✨ Language evolution 📱 Kotlin Multiplatform 🧩 Staying agnostic 📦 The experience of third-party ecosystem authors See what's behind each one 👇 https://kotl.in/rv5too
Alejandro Serrano Mena reposted
🔥 The Kotlin community is already planning the next reunion! 📍 Kraków, Poland 📅 April 21-23 KotlinConf 2027 Super Early Bird tickets are now on sale – it’s the lowest price for the biggest Kotlin event of the year. 🎟️ Get yours today! kotl.in/conf27-seb-x
Alejandro Serrano Mena reposted
The 2026 Kotlin Developer Survey is live! Use this chance to send feedback directly to the team, on everything Kotlin-related 👇
Alejandro Serrano Mena reposted
Alejandro Serrano Mena reposted
Kotlin Toolchain 0.12 was just released! It includes... 📚 KMP library publication (!) 🌐 Wasm app support 🖼️ Compose Preview support + more Android tooling 🔥 Better Compose Hot Reload 🍎 iOS improvements ... and much more! Learn about the rest here:
Alejandro Serrano Mena reposted
🎉 Good news: You have more time to learn Kotlin! Free access to select Kotlin courses on Hyperskill has been extended until October 9. Learn through hands-on projects, whether you're just getting started with Kotlin or looking to level up your skills. Explore the courses 👇 https://kotl.in/a1ityw
Alejandro Serrano Mena reposted
lnkd.in/p/eXjmAb5c Tickets to this ridiculously good ROI workshop are still available, albeit in short supply. Visit ktconf.be to get yours, for Amanda’s workshop on the 17th of September in Leuven. #kotlin #coroutines
Alejandro Serrano Mena reposted
⚠️ A function signs a document. What could go wrong? The function signature won’t give you any ideas. Sergey Chernov from Salmon shows how sealed error types keep expected failures in the function contract. Read the full post 👇 https://kotl.in/5wawvp
Alejandro Serrano Mena reposted
Here's a great video from Dave, with an overview of some exciting still-experimental Kotlin language features:
Alejandro Serrano Mena reposted
My latest video for the Kotlin channel is out! There are some nice juicy features in this release - check it out! www.youtube.com/watch?v=RI4J...
Alejandro Serrano Mena reposted
Check out @pamelaahill.bsky.social's video on #Kotlin 2.4! She covers so many topics. My favourites: - Context parameters & explicit context arguments - Collection literals - Compile-time constants - Uuid - New Map functions - Swift import & Concurrency Blog: kotlinlang.org/docs/whatsne...
My latest video for the Kotlin channel is out! There are some nice juicy features in this release - check it out! www.youtube.com/watch?v=RI4J...
Alejandro Serrano Mena reposted
Have you caught up with everything that's new in Kotlin 2.4 yet? Collection literals, new standard library functions, multiplatform improvements, and more! All detailed in the video 👇
In the latest days I’ve done a big update to the “Poké-Fun with Kotlin and Arrow” guide serranofp.com/poke-fun/ - Much more about optics - New section about using (local) LLMs with Koog - Over-arching tasks such as comparing different domain representations
My "Context parameters and API design" talk at @kotlinconf.com is now available www.youtube.com/watch?v=O1nT...
Alejandro Serrano Mena reposted
Alejandro Serrano Mena reposted
Who here is using agents extensively with #Kotlin/Java and #Gradle? Have you ever seen agents `unzip jar`, or parse `build/reports/test`? Or any other silly things? I've been trying to streamline these scenarios to make working with agents more efficient. Check it out. github.com/nomisRev/age...
Alejandro Serrano Mena reposted
Haskell Wizard by Alejandro Serrano Mena is the featured bundle of ebooks 📚 on Leanpub! Become a real Haskell wizard with these two books! On the one hand, get your hands dirty with every major library in the ecosystem. On the other hand, climb the ivory … leanpub.com/b/haskell-wi...
Alejandro Serrano Mena reposted
⏰ Just two weeks left! Apply by July 14 for a 2026 Kotlin Foundation Grant for Library Authors. Building an open-source Kotlin library, tool, or framework? Your project could receive funding – especially if it advances Multiplatform, AI, or LLM development. Apply now 👇 https://kotl.in/muii75
Alejandro Serrano Mena reposted
We've been looking forward to this one! Kotlin 2.4 introduces collection literals. Create lists as easy as `val x = [1, 2, 3]`. They can even be combined with name-based destructuring for a neat effect. Today's 6-minute video is all about 'em: www.youtube.com/watch?v=cXg4... #Kotlin #AndroidDev
Alejandro Serrano Mena reposted
🎉 Kotlin turns 15 this year! 🎉 As part of the celebration, we've brought the Kotlin Effect into real life – making everyday situations more concise, efficient, and fun. Explore the Kotlin Effect further: kotl.in/6xzc69
Alejandro Serrano Mena reposted
Alejandro Serrano Mena reposted
Kotlin 2.4.0 ships with a HUGE power-assert update I've been slowly working on for *years*. It's the culmination of efforts I started before joining JetBrains. It's subtle from the user's perspective, but it helped fixed a bunch of problems and unblocks tons of future improvements! 🚀
Alejandro Serrano Mena reposted
Alejandro Serrano Mena reposted
Ever upgraded Kotlin? We’d love your feedback! Tell us about your experience with Kotlin releases, including EAPs, stable versions, and patches! ⏱️ It takes just 12 minutes. Share your thoughts with us here: https://surveys.jetbrains.com/s3/Kotlin-release-1
Alejandro Serrano Mena reposted
Kotlin is moving toward name-based destructuring – new syntax that will make reordering and moving properties a breeze. No worries: There will be a long migration period with compiler and IDE support. Learn what’s changing and how the migration will work 👇 https://kotl.in/8nny1l