Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement.
If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.

https://gleam.run

Interesado en matricularte en Ciclos formativos de Formación Profesional, en Madrid?
Acaban de salir los plazos de solicitud (preinscripción).

CF Grado Superior (si tienes ya un Bachillerato o la prueba de acceso): 27 de junio al 4 de julio.

CF Grado Medio (si tienes la ESO, la prueba de acceso, un CF de grado básico o un certificado profesional tipo C (técnico/técnico básico) ): 23 al 30 de junio.

CF Grado Básico (si tienes 15 años o más y crees que nunca te sacarás la ESO con estudios teóricos): 20 al 27 de junio.

La inscripción se hace a través del sistema raíces, enlazado en la página de Formación Profesional de la Comunidad de Madrid.
Recuerda que, una vez te veas en la lista de admitidos, debes matricularte yendo físicamente al centro con tu documentación.

#claustroVirtual
#Madrid
#FP

What Works (and Doesn't) Selling Formal Methods

„I love formal methods—I should say that to begin with, because this article is mostly about what doesn’t work when trying to do FM projects. Over the last 20 years, formal methods have grown and grown... I made a lot of mistakes when I was scoping and running formal methods projects. I’d like other people to avoid the pitfalls I fell into, and hopefully make bigger and more interesting mistakes.”

https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods

Hey folks this morning's #HandsOnSAPDev live stream replay is available ... AND we have a blog post detailing everything we covered in that episode too, and more, plus the link to the episode replay. Share & enjoy https://qmacro.org/blog/posts/2025/05/15/point-free-coding-and-function-composition/ #fp #ramda #jq #shell #javascript @sap

Buscando cosas para imprimir, he visto esto. Me ha parecido tan genial que lo comparto por si lo ve alguna persona que explique Redes a sus alumnos. Porque se pueden poner imanes y usarlo en una pizarra blanca

https://www.thingiverse.com/thing:3158032/files

Missed this morning's #HandsOnSAPDev live stream episode? Don't worry, the replay is available. We explored what currying is, what partial application is, how closures are key in this context, and why you'd want to use them, with simple examples. Share & enjoy! https://www.youtube.com/watch?v=1j253luGOlU #FP @sap

ICYMI, a brief foray into the CAP Node.js server code that loads the CDS model, using what we are learning in our functional programming explorations to understand why & how required services are automatically loaded. https://qmacro.org/blog/posts/2025/05/01/fp-function-chains-and-cap-model-loading/

#SAPCAP #HandsOnSAPDev #FP @sap

Todos los ejercicios de matemáticas y los problemas de ciencias de las PRUEBAS DE ACCESO #FP GRADO MEDIO de MADRID RESUELTOS en VÍDEO.
Desde el 2015 hasta el 2023.
Los exámenes son en dos semanas
Por si sirven.
Se agradece difusión
https://youtube.com/playlist?list=PLzqyAKVt4MgPR70pIOsuo2wrqpBFE_ejp&si=fa0uFnwg1wLtmIBl

TIL about the subtlety of the optional initialValue parameter for the Array prototype's reduce method in JS.

https://qmacro.org/blog/posts/2025/04/29/array.prototype.reduce-and-the-optional-initial-value/

Too obvious ... or worth pointing out? Anyway, hope someone gets something out of this micro realisation.

#TIL #JavaScript #FP #HandsOnSAPDev @sap

Something for a Sunday? Relating to Friday's #HandsOnSAPDev live stream on #SAPCAP and #FP, we have

the replay, so you're all caught up for next Friday: https://www.youtube.com/watch?v=4XLCRF1Cc9w

a vintage #MondayMorningThoughts post on dynamic language, JS function evaluations & reduce, to complement what we explored: https://qmacro.org/blog/posts/2018/10/22/monday-morning-thoughts:-dynamic-language/

Share and enjoy!

@sap

"Propositions as traits, proofs as impls"

A thought experiment:

Name one thing that U.S. President Donald Trump has done since taking office that the Kremlin did not like. Crickets.

Why is comrade #Trump acting exactly like a Russian asset would?
…

#putinspuppet #russianagent #russianasset #maga #runthemoutoftown #putin #russia #gremlinzoo #usa #uspol #agentkrasnov #resist #whentheygolowwegohigh #TrumpIsATraitor #foreignpolicy #fp #comradetrumpski #ComradeTrump #kremlin #trumpusefulidiot

https://foreignpolicy.com/2025/03/10/trump-putin-russia-asset-spy-security-ukraine-europe-war/#cookie_message_anchor

We're live this Friday with the first episode looking at functional programming, and so I thought I'd put together a collection of the material I've created over the years on the topic, in the form of presentations, documents and blog posts, in case you want to dive in before the first episode. Share & enjoy!

https://qmacro.org/blog/posts/2025/03/24/functional-programming-resources/

#HandsOnSAPDev #Functional #FP @sap

Sharing my scrappy fiddles after deciding to pick up this project that had a 2 year hiatus.

https://github.com/thgs/functional

Any comments, issues, discussions or even code is welcome.

any(x == 'Erik' for x in ['Erik', 'John', 'Jane', 'Jim'])

#clojure is taking over my python code. I did not know that this is possible . I really like this syntax

1/2 "Laaja asukas- ja järjestöaktiiveista sekä Suomen kommunistisen puolueen ja Feministisen puolueen edustajista koostuva joukko on perustanut Asukkaiden ääni -nimisen valitsijayhdistysten yhteislistan Helsingin kuntavaaleihin."

Aiemmin #FP:sta ehdolla olleita on myös #vasemmistoliitto n ehdokkaina, ja nämä on jo toiset #kuntavaalit, kun #EOP (ja #FeministinenPuolue) haluaisivat eri paikkakunnilla #vasemmisto n kanssa #vaaliliitto on.

Jatk.

#politiikka #kunnat

https://mementomori.social/@asukkaidenaani/113991179370574296