#functionalprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionalprogramming, aggregated by home.social.
-
Blog - Shared Postgres Test Container with Expecto in FSharp
-
Blog - Shared Postgres Test Container with Expecto in FSharp
I’m learning FSharp by creating a web application. I’ve cycled through lots of different ways of doing things, libraries, etc. Today I finally got my integration tests to use a single docker test contaner with the Expecto test framework. I couldn’t find a good example online of how to do it, so I’m sharing it here.
-
Blog - Shared Postgres Test Container with Expecto in FSharp
I’m learning FSharp by creating a web application. I’ve cycled through lots of different ways of doing things, libraries, etc. Today I finally got my integration tests to use a single docker test contaner with the Expecto test framework. I couldn’t find a good example online of how to do it, so I’m sharing it here.
-
Blog - Shared Postgres Test Container with Expecto in FSharp
I’m learning FSharp by creating a web application. I’ve cycled through lots of different ways of doing things, libraries, etc. Today I finally got my integration tests to use a single docker test contaner with the Expecto test framework. I couldn’t find a good example online of how to do it, so I’m sharing it here.
-
Blog - Shared Postgres Test Container with Expecto in FSharp
I’m learning FSharp by creating a web application. I’ve cycled through lots of different ways of doing things, libraries, etc. Today I finally got my integration tests to use a single docker test contaner with the Expecto test framework. I couldn’t find a good example online of how to do it, so I’m sharing it here.
-
Blog - Shared Postgres Test Container with Expecto in FSharp
-
Problem of the day:
Derive a fused function equal to `dupLast . dupLast` where
dupLast [] = []
dupLast [x] = [x,x]
dupLast (x:xs) = x : dupLast xsExperienced functional programmers might see at a glance what the fused function looks like, but how do we derive it formally from the definition of `dupLast`?
-
Why I Still Reach for Scheme and Lisp Instead of Haskell - jointhefreeworld
-
Exception annotations: Lay of the Land. ~ Edsko de Vries. https://well-typed.com/blog/2026/05/lay-annotation-land/ #Haskell #FunctionalProgramming
-
MicroHs in the browser. ~ Lennart Augustsson. https://augustss.github.io/MicroHs/web-mhs/ #Haskell #FunctionalProgramming
-
🦾 Functional Programmers need to take a look at Zig.
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html
-
Categorical transformers. ~ Marco Perone. https://marcosh.github.io/post/2026/05/08/categorical-transformers.html #Haskell #FunctionalProgramming
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming
-
Navigating and Learning Data Access in FSharp
I wrote a blog post about me getting in to FSharp web application development, but am having issues deciding how I want the data access to look. I’m very much open to feedback!
-
Navigating and Learning Data Access in FSharp
I wrote a blog post about me getting in to FSharp web application development, but am having issues deciding how I want the data access to look. I’m very much open to feedback!
-
Navigating and Learning Data Access in FSharp
-
Navigating and Learning Data Access in FSharp
https://piefed.keyboardvagabond.com/c/csharp/p/334746/navigating-and-learning-data-access-in-fsharp
-
Navigating and Learning Data Access in FSharp
https://piefed.keyboardvagabond.com/c/dotnet/p/334744/navigating-and-learning-data-access-in-fsharp
-
Navigating and Learning Data Access in FSharp
https://piefed.keyboardvagabond.com/c/dotnet/p/334743/navigating-and-learning-data-access-in-fsharp
-
Dabbling in Erlang, part 2: A minimal introduction (2013)
https://agis.io/post/dabbling-in-erlang-a-minimal-introduction/
#HackerNews #Erlang #Programming #FunctionalProgramming #SoftwareDevelopment #CodingJourney
-
A Couple Million Lines of Haskell: Production Engineering at Mercury
https://blog.haskell.org/a-couple-million-lines-of-haskell/
#HackerNews #Haskell #ProductionEngineering #Mercury #SoftwareDevelopment #FunctionalProgramming
-
[New Blog Post] Lifting and Lowering Functions with The Dump Calculus https://www.philipzucker.com/dump_calculus/ #python #functionalprogramming #logic #egraphs
-
🚀📚 Oh, look! Yet another language! Functional programmers, put down your #Haskell bibles and embrace Zig! 😂 Because clearly, what we needed was more *comptime* in our lives. 🙄✨
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html #functionalprogramming #Zig #comptime #programminglanguages #techhumor #HackerNews #ngated -
Functional Programmers need to take a look at Zig
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html
#HackerNews #FunctionalProgramming #Zig #ProgrammingLanguage #TechTrends #HackerNews
-
Where is programming headed?
This article explores how concepts from functional programming have spread into “mainstream” languages and how increasing abstraction can reshape the way programmers work.
Read here: https://lpi.org/ibe0
#functionalprogramming #programminglanguages #python #java #rust #softwaredevelopment #futureofprogramming #programming
[Disclaimer: This post includes an image created using AI.]
-
"Immutability changes everything: We need it, we can afford it, and the time is now." -- Pat Helland
https://www.youtube.com/watch?v=xv-WApd-pSY
#simonpeytonjones #spj #interview #haskell #ghc #verse #gamedev #unreal #fortnight #functionalprogramming -
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Finishing my third and last #Fitness class of today —and the week.
Here's a #workout if you feel like hugging yourself 12 minutes of your day:
EMOM 12 (4 SETS) - 20"+20" active/20" rest
1️⃣ Hollow Hold + Alt V'Ups
Rest 20"
2️⃣ Split Squats* (2⬇️ 1⬆️ ) R + L
Rest 20"
3️⃣ Dynamic Plank + Grass Hoppers
Rest 20"*Add DB in Goblet for more intensity
#cracsfit #fitnesscoaching #workouts #onlinefitnesscoaching #FunctionalProgramming #funcionaltraining
