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
http://www.agilogy.com 19-04-2010 23:15:25
1,1K Tweet
487 Followers
471 Following
🤩🤩 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!😇
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
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…
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
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.