Racket meet-up: Saturday, 2 May 2026 at 18:00 UTC

EVERYONE WELCOME 😁

Announcement, Jitsi Meet link & discussion at https://racket.discourse.group/t/racket-meet-up-saturday-2-may-2026-at-18-00-utc/4191
#lisp #scheme #Racket #functionalprogramming #metaprogramming

Functional languages are so bizarre to work with. I have a program that start to get a "lill" size to it, not a lot, but still enough to warrant "concern" when rewriting.

Generally. With "normal" programming languages

So, I restructure, refactor and redo large chunks, build and... wtf, it works???

So yah, it feels a bit bizarre :O

#Gleam #FunctionalProgramming

Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!

We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).

To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.

If funded, this opens a new PhD position in 2027!

📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441

#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang

Clojure: The Documentary

https://youtube.com/watch?v=Y24vK_QDLFg

#clojure #lisp #functionalprogramming

I have not used my #functionalprogramming brain muscle for a while. Yesterday and today tried writing a #Levenshtein string distance function in GNU #guile . Looked up the naive version on wiki. That came easy. But then I decided, that I wanted an FP solution, but with caching/memoization ... I knew from past experience, that I would probably have to use continuations for that. #TheLittleSchemer strikes again.

#programming #coding #scheme #algorithm

[1/3]

Scott Burson shared his new book "Modern Common Lisp with FSet", an introduction to functional collections for Lisp programmers and designers of other languages and libraries.

https://fset.common-lisp.dev/Modern-CL/Top_html/index.html

#CommonLisp #lisp #FunctionalProgramming

Is there a word for being amused and slightly offended at the same time / by the same thing? The JSONata documentation's take on the Y-combinator certain toes this to me:

"There is no need to read this section - it will do nothing for your sanity or ability to manipulate JSON data." ... "The Greek lambda (λ) symbol can be used in place of the word function which, if you can find it on your keyboard, will save screen space and please the fans of lambda calculus."

https://docs.jsonata.org/programming#advanced-example---the-y-combinator

#FunctionalProgramming #LambdaCalculus #JSONata

 Skunk 1.0.0 is out! 🎉 A huge milestone for the @typelevel  ecosystem — pure functional PostgreSQL library for Scala.

Massive congrats to @tpolecat @mpilquist  @armanbilge @ross  and the whole #typelevel crew. 🍾

https://github.com/typelevel/skunk/releases/tag/v1.0.0

#Scala #PostgreSQL #FunctionalProgramming #fp