Jordi Pradel - @jordipradel@fosstodon.org (@agile_jordi) 's Twitter Profile
Jordi Pradel - @[email protected]

@agile_jordi

Functional programmer with an agile background, Agilogy founder. I only (re)tweet about sw dev. Scala and Kotlin. Personal account, in catalan: @JordiPradel

ID: 134954443

linkhttp://www.agilogy.com calendar_today19-04-2010 23:15:25

1,1K Tweet

487 Followers

471 Following

Jordi Pradel - @jordipradel@fosstodon.org (@agile_jordi) 's Twitter Profile Photo

New blog post! In Testing the Agilogy Way I introduce the software testing strategy we've been refining and using at Agilogy helping several teams enhance their software quality and maintenability. blog.agilogy.com/2024-02-02-tes… #SoftwareTesting #SoftwareDesign #Software #Kotlin

Jon Pretty (@propensive) 's Twitter Profile Photo

If you don't need the full expressive power of regular expressions, Kaleidoscope also provides a "glob" extractor. So instead of case r"foo/([^/]*)/baz" => ... write, case g"foo/*/baz" => ...

Lukas Süss (@mechadense) 's Twitter Profile Photo

🤩🤩 proglang news: Unison | @unison-lang.org on bsky just announced (mail) that their dependents functionality (i.e. "Which functions use this function?" - correct by design) will become available from the (open sourced) graphical code browsing interface. 🧠🚴 Big jump up the mind-bicycle score!😇

🤩🤩 proglang news:
<a href="/unisonweb/">Unison | @unison-lang.org on bsky</a> just announced (mail) that their  dependents functionality (i.e. "Which functions use this function?" - correct by design) will become available from the (open sourced) graphical code browsing interface. 
🧠🚴 Big jump up the 
mind-bicycle score!😇
Liliia Abdulina (@var_lynx) 's Twitter Profile Photo

This is a 49-pager so far. Not only that I admire the entire Kotlin team for such a historical release to come, but I’m also specifically impressed by our Tech writing team!

This is a 49-pager so far. Not only that I admire the entire Kotlin team for such a historical release to come, but I’m also specifically impressed by our Tech writing team!
Simon Vergauwen (@vergauwen_simon) 's Twitter Profile Photo

The changelog file is: 2289 loc 😱 **A lot** of long awaited fixes, and improvements! Incredible work everyone that was involved #Kotlin 👏👏👏

Marcin Moskała (@marcinmoskala) 's Twitter Profile Photo

The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇

The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇
siedlerchr (@siedlerchr) 's Twitter Profile Photo

Marcin Moskała This sounds great. Regarding the current usage of Object types, there is an alternative github.com/michaelbull/ko… which uses inline value classes to reduce overhead

Jorge Castillo (@jorgecastillopr) 's Twitter Profile Photo

Very happy to see this feature arriving to Kotlin. Union types are the cleanest, most efficient, and most idiomatic approach to handle code branching in a type safe manner. Every program has a happy path and an alternative one that we need to handle and type accordingly.

Dominik Tornow (@dominiktornow) 's Twitter Profile Photo

The evolution of concurrent programming models 🧵 Here's a curated list of seminal papers that explore the two dominant models: thread-based & event-based concurrency. These models converge in async await, combining the best of both worlds.

The evolution of concurrent programming models 🧵

Here's a curated list of seminal papers that explore the two dominant models: thread-based &amp; event-based concurrency.

These models converge in async await, combining the best of both worlds.
Simon Vergauwen (@vergauwen_simon) 's Twitter Profile Photo

Could not hold myself any longer... I started an experimental library using #Kotlin's Context Receivers. A #typesafe DSL to do request validation in a JetBrains Ktor descriptive, and elegant way using Λrrow's new accumulating DSL by Alejandro Serrano 🔥 github.com/nomisRev/arrow…

Could not hold myself any longer... I started an experimental library using #Kotlin's Context Receivers.

A #typesafe DSL to do request validation in a <a href="/JetBrainsKtor/">JetBrains Ktor</a> descriptive, and elegant way using <a href="/arrow_kt/">Λrrow</a>'s new accumulating DSL by <a href="/trupill/">Alejandro Serrano</a> 🔥

github.com/nomisRev/arrow…
Alejandro Serrano (@trupill) 's Twitter Profile Photo

The tutorial on implementing a type checker (with code in Kotlin and Haskell) that I gave at Lambda World is now available at my webpage -> serranofp.com/#tutorials

Rachel Karten (@milkkarten) 's Twitter Profile Photo

It’s been a tough few months for Sonos. A redesign of the app caused outrage. So when a friend tipped me off to the r/Sonos subreddit filled with 261K angry people, I braced for impact. I found the expected complaints—but I also noticed they really liked an employee named Keith.

Meritxell R. Lavall (@meritxelllavall) 's Twitter Profile Photo

Estic sense feina, no arribo a final de mes. He decidit ensenyar català a través d'un canal de YouTube per poder-me dedicar al que m'agrada i per evitar que la nostra llengua mori. Estic segura que molta gent vol aprendre a parlar català o millorar el català que parla. Necessito