#functional-programming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functional-programming, aggregated by home.social.
-
Kotlin 2.4.0 context parameters are a game-changer for FP! 🚀
- Type constraints (Transaction) enforced by the compiler
- Elegant errors via Arrow-kt, and soon rich errors
- Structured concurrency with CoroutinesClean, capability-based architecture without the boilerplate. #Kotlin #functionalprogramming
-
Kotlin 2.4.0 context parameters are a game-changer for FP! 🚀
- Type constraints (Transaction) enforced by the compiler
- Elegant errors via Arrow-kt, and soon rich errors
- Structured concurrency with CoroutinesClean, capability-based architecture without the boilerplate. #Kotlin #functionalprogramming
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
Trees need traversal — and traversal is just a choice of order. In the final part of the Break the Loop series, we build functions to print and flatten a binary https://hackernoon.com/break-the-loop-part-4-functional-programming-with-trees-monads-and-lazy-evaluation #functionalprogramming
-
Trees need traversal — and traversal is just a choice of order. In the final part of the Break the Loop series, we build functions to print and flatten a binary https://hackernoon.com/break-the-loop-part-4-functional-programming-with-trees-monads-and-lazy-evaluation #functionalprogramming
-
At almost 800 pages The Architecture of Symbolic Computers by Peter Kogge (McGraw-Hill, 1991) is a massive tome on Lisp Machines, logic systems, and other symbolic computer architectures.
https://archive.org/details/architectureofsy0000kogg
#LispMachine #lisp #prolog #FunctionalProgramming #retrocomputing #book
-
At almost 800 pages The Architecture of Symbolic Computers by Peter Kogge (McGraw-Hill, 1991) is a massive tome on Lisp Machines, logic systems, and other symbolic computer architectures.
https://archive.org/details/architectureofsy0000kogg
#LispMachine #lisp #prolog #FunctionalProgramming #retrocomputing #book
-
RE: https://functional.cafe/@jer_gib/116821564538407066
Incredibly hyped for this book that will doubtlessly give many people principled tools and help them being better engineers! #Haskell #FunctionalProgramming
-
RE: https://functional.cafe/@jer_gib/116821564538407066
Incredibly hyped for this book that will doubtlessly give many people principled tools and help them being better engineers! #Haskell #FunctionalProgramming
-
Your typed errors shouldn't die at the network boundary. 🚂
New in Higher-Kinded-J 0.4.7
▸ @HkjHttpClient: annotate a Spring @HttpExchange interface, return an EitherPath, and a service-to-service call decodes the response back into your typed error. => no more catching RestClientResponseException and rebuilding it from status codes.
▸ Plus type-safe indexed optics + a new raw-kind compile check.🔗 https://higher-kinded-j.github.io/latest/spring/declarative_http_clients.html
-
Your typed errors shouldn't die at the network boundary. 🚂
New in Higher-Kinded-J 0.4.7
▸ @HkjHttpClient: annotate a Spring @HttpExchange interface, return an EitherPath, and a service-to-service call decodes the response back into your typed error. => no more catching RestClientResponseException and rebuilding it from status codes.
▸ Plus type-safe indexed optics + a new raw-kind compile check.🔗 https://higher-kinded-j.github.io/latest/spring/declarative_http_clients.html
-
I don't know where I'll find inspiration to write a binary parser plucking bytes out of a ReadOnlySequence in F# (functional programing) but I think I'll read a few blog posts here and there. Writing the reverse operation shouldn't be a huge deal.
The current parser in C# looks fine on it's interface but the inside is another story x') Trying to make the parsing more readable was an excuse to learn more on functional programming and get to know F#
-
I don't know where I'll find inspiration to write a binary parser plucking bytes out of a ReadOnlySequence in F# (functional programing) but I think I'll read a few blog posts here and there. Writing the reverse operation shouldn't be a huge deal.
The current parser in C# looks fine on it's interface but the inside is another story x') Trying to make the parsing more readable was an excuse to learn more on functional programming and get to know F#
-
Tagged data in Haskell (SICP 2.4.2). ~ kqr. https://entropicthoughts.com/sicp-2-4-tagged-data-in-haskell #Haskell #FunctionalProgramming
-
Tagged data in Haskell (SICP 2.4.2). ~ kqr. https://entropicthoughts.com/sicp-2-4-tagged-data-in-haskell #Haskell #FunctionalProgramming
-
Record type inference for dummies. ~ Gabriella Gonzalez. https://haskellforall.com/2026/06/record-type-inference-for-dummies #Haskell #FunctionalProgramming
-
Record type inference for dummies. ~ Gabriella Gonzalez. https://haskellforall.com/2026/06/record-type-inference-for-dummies #Haskell #FunctionalProgramming
-
Hey everyone, we're hiring a Fullstack #Elixirlang engineer at Frontline Wildfire Defense. Come work with me.
https://elixirforum.com/t/full-stack-software-engineer-frontline-wildfire-defense-us-remote/75745
-
Hey everyone, we're hiring a Fullstack #Elixirlang engineer at Frontline Wildfire Defense. Come work with me.
https://elixirforum.com/t/full-stack-software-engineer-frontline-wildfire-defense-us-remote/75745
-
If you like my event sourcing series, or want to see some real-world production F# code, join me in tomorrow's online session of Coders-Only Software Craft Study Group (Wednesday, 24.06.2026 19:00 CEST):
This session was motivated by previous discussions about functional programming, where the question "How well does this really work in real life?" kept coming up.
-
If you like my event sourcing series, or want to see some real-world production F# code, join me in tomorrow's online session of Coders-Only Software Craft Study Group (Wednesday, 24.06.2026 19:00 CEST):
This session was motivated by previous discussions about functional programming, where the question "How well does this really work in real life?" kept coming up.
-
Learn you a Haskell for great good! (Miran Lipovaca's classic introduction to Haskell, ported to runnable Sabela notebooks). https://sabela.datahaskell.com/c/1ea40000 #Haskell #FunctionalProgramming
-
Learn you a Haskell for great good! (Miran Lipovaca's classic introduction to Haskell, ported to runnable Sabela notebooks). https://sabela.datahaskell.com/c/1ea40000 #Haskell #FunctionalProgramming
-
OCaml 5.5.0 just dropped with module-dependent functions, faster compiler switches, and new string utilities. Worth the upgrade!
Link in the comment
-
OCaml 5.5.0 just dropped with module-dependent functions, faster compiler switches, and new string utilities. Worth the upgrade!
Link in the comment
-
Writing static checks to an unsuspecting library with Liquid Haskell. ~ Xavier Góngora. https://www.tweag.io/blog/2026-06-11-diff-package-static-checks/ #Haskell #FunctionalProgramming
-
Writing static checks to an unsuspecting library with Liquid Haskell. ~ Xavier Góngora. https://www.tweag.io/blog/2026-06-11-diff-package-static-checks/ #Haskell #FunctionalProgramming
-
Sheaves in Haskell. ~ Arnaud Spiwack. https://www.tweag.io/blog/2026-06-18-sheaves-in-haskell/ #Haskell #FunctionalProgramming
-
Sheaves in Haskell. ~ Arnaud Spiwack. https://www.tweag.io/blog/2026-06-18-sheaves-in-haskell/ #Haskell #FunctionalProgramming
-
Programmable record types in Haskell. ~ Arthur Jamet, Michael Vollmer. https://recurial.com/gpce26main-p2.pdf #Haskell #FunctionalProgramming
-
Programmable record types in Haskell. ~ Arthur Jamet, Michael Vollmer. https://recurial.com/gpce26main-p2.pdf #Haskell #FunctionalProgramming
-
Thursdays are Curry Club at Wetherspoons, so I bring my laptop to do a bit of recreational functional programming.
-
Thursdays are Curry Club at Wetherspoons, so I bring my laptop to do a bit of recreational functional programming.
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran]
We are announcing two ProgLang PostDoc positions in the FP group at Chalmers. The underlying projects funding them are flexible, meaning we can tailor the exact research to your unique strengths.
We are looking for people who want to bridge mathematical foundations and practical software development using tools like #Haskell and #Agda. Whether your expertise lies in building #DSLs, property-based testing, or interactive theorem proving, Chalmers provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance.
Some of my recent work, which could be nice to connect to, is posted here: https://patrikja.owlstown.net/posts
Deadline: 2026-08-15. Please apply, or boost to spread the ad to your networks!
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14954&rmlang=UK#FunctionalProgramming #FormalMethods #PostDoc #AcademicJobs #TypeTheory #ComputerScience
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran]
We are announcing two ProgLang PostDoc positions in the FP group at Chalmers. The underlying projects funding them are flexible, meaning we can tailor the exact research to your unique strengths.
We are looking for people who want to bridge mathematical foundations and practical software development using tools like #Haskell and #Agda. Whether your expertise lies in building #DSLs, property-based testing, or interactive theorem proving, Chalmers provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance.
Some of my recent work, which could be nice to connect to, is posted here: https://patrikja.owlstown.net/posts
Deadline: 2026-08-15. Please apply, or boost to spread the ad to your networks!
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14954&rmlang=UK#FunctionalProgramming #FormalMethods #PostDoc #AcademicJobs #TypeTheory #ComputerScience
-
Wrote a longer blog "Optimizing a Grid Thing" post about my solution for an #adventofcode puzzle from 2024 (day 14, part 1): https://web.xiaolong-hosting.com/blog/post/optimizing-a-grid-thing
#guile #functionalprogramming #bitboard #computerprogramming #coding
-
Wrote a longer blog "Optimizing a Grid Thing" post about my solution for an #adventofcode puzzle from 2024 (day 14, part 1): https://web.xiaolong-hosting.com/blog/post/optimizing-a-grid-thing
#guile #functionalprogramming #bitboard #computerprogramming #coding
-
The webpage from Stephen Diehl: "What I wish I knew when learning Haskell" was always a great resource for learners. However it was for a long time not accessible and only available by internet archives. So I am glad that it is back online: https://sdiehl.github.io/wiwinwlh/
-
The webpage from Stephen Diehl: "What I wish I knew when learning Haskell" was always a great resource for learners. However it was for a long time not accessible and only available by internet archives. So I am glad that it is back online: https://sdiehl.github.io/wiwinwlh/
-
"Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages." https://www.youtube.com/watch?v=xcB_LF3cdqw
#spj #safety #functionalprogramming #haskell #c #rust #ocaml -
"Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages." https://www.youtube.com/watch?v=xcB_LF3cdqw
#spj #safety #functionalprogramming #haskell #c #rust #ocaml -
Higher-Kinded-J 0.4.6 is out 🎉
Optic-driven request batching
The N+1 query — collapsed at the optic seam.
Swap the strategy in a traversal's modifyF and N backend loads become one batched call. The optic graph stays untouched.
▸ SafeFetch — failures land on the Either value channel, never thrown
▸ SourceRouter — one call per backend for mixed keysets
▸ Plans.preflight + Guards — audit & refuse runaway batches before they leave the JVM#Java25 · #Java
#FunctionalProgramming #Opticshttps://higher-kinded-j.github.io/latest/optics/optic_batching.html
-
Practical uses of monads in Haskell. ~ Antoine Leblanc. https://nauths.fr/en/2026/05/28/practical-use-of-monads.html #Haskell #FunctionalProgramming
