José A. Alonso
Practical uses of monads in Haskell. ~ Antoine Leblanc. https://nauths.fr/en/2026/05/28/practical-use-of-monads.html #Haskell #FunctionalProgramming
Alvin Ashcraft 🐿️Union types in C# | Microsoft Build 2026 Demo with Dustin Campbell & Mads Torgersen
https://www.youtube.com/watch?v=7qW92AwlrjM
#csharp #build2026 #dotnet #functionalprogramming #msbuild #programming
Union types in C# | DEM304
dalloElixir v1.20: Now a gradually typed language
https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/
#programming #functionalProgramming #technology #elixir #elixirLang
Irfan AliHere is a simple puzzle: write a function to calculate factorial in JavaScript. No loops, no recursion, no declarations allowed.
Here is a short piece on the Y and Z combinators that walks through building them from first principles.
https://irfanali.org/blog/zcom
#computerscience #haskell #javascript #programming #lambda #functionalprogramming
LobstersNo Let, No Rec, No Problem: A Gentler Introduction to the Y and Z combinators
Steph. Luis Rolland-Brabant ⁂I think you should have a look at optics and namely prisms, (rather than lenses)... in #functionalprogramming
probably a good example of refractive computation
I consider simple pattern matching as an instance of optics behaviour, but I have not spent the time to be fully mathematically correct here: I hope it is so, but I could not provide the correct definitions prooving me right, right now
I like the metaphore of branching as difraction
EDIT: I have to rework the difference refraction/diffraction in physics
Data types à la carte
Hacker NewsAlgebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
Darren KirbyTo wit: I have just released a new version of my Cozenage Scheme interpreter. What is Cozenage?
Cozenage is a Scheme-derived, Lisp-like programming language written in C, designed primarily as an educational project and exploratory implementation. It provides a small, expressive core language and is extended through a growing standard library of dynamically loadable modules.
You should almost certainly install this program, and start writing some Scheme code! Scheme is awesome!
You can clone from GitHub, or download release tar and zip files:
https://github.com/DarrenKirby/cozenage
There is documentation available here:
https://darrenkirby.github.io/cozenage/
Honestly though, I don't really know what I'm doing. I'd really just like some folks who are not me to run this, and try to daylight some bugs as I'm sure there are many!
