Online edition of "Haskell: the craft of functional programming". ~ Simon Thompson. https://simonjohnthompson.github.io/haskellcraft/
#functionalprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionalprogramming, aggregated by home.social.
-
Differences Between `Foldl` and `Foldr`
https://blog.haskell.org/foldl-and-foldr/
Comments: https://news.ycombinator.com/item?id=49917900
#HackerNews #Foldl #Foldr #Haskell #FunctionalProgramming #Programming #Concepts
-
-
Two of my university's courses are taught with #elixir, and I have to say , changing language paradigms is really refreshing ! I'd really recommendpeople who haven't tried #functionalprogramming to give it a try !
-
I remembered today I had Haskell for Mac http://haskellformac.com installed and started it after a long time. It hasn't been updated in ca. 5 years and is Intel/Rosetta only. The website doesn't have SSL, the support website http://support.hfm.io doesn't exist anymore. So it's probably abandoned. It's still in the App Store, though.
Anyone still using it, or know if it's maintained? And what do you use to play around with Haskell on a Mac these days?
-
Teaching Haskell in the age of LLMs, part 1: ban or embrace? ~ Vladislav Zavialov. https://serokell.io/blog/teaching-haskell-in-the-age-of-llms #Haskell #FunctionalProgramming #LLMs
-
I don't procrastinate.
I lazily evaluate my responsibilities. -
An account of someone's journey to build their own functional programming language.
-
Needed 1+1, built a functional programming language
https://hereticpleb.vercel.app/blog/needed-one-plus-one/
Comments: https://news.ycombinator.com/item?id=49895864
#HackerNews #functionalprogramming #programminglanguage #coding #innovation #HackerNews
-
I don't procrastinate.
I lazily evaluate my responsibilities. -
What does #FunctionalProgramming and #Python have in common? A LOT apparently.
Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more.
All skill levels welcome!
-
What does #FunctionalProgramming and #Python have in common? A LOT apparently.
Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more.
All skill levels welcome!
luma.com/vcsaybf3
#Haskell #Clojure #TypeScript #Rust #Elixir #FP
FPIndia x BangPypers October M... -
:scala: 📣📰 New Scala News is out: the August 31, 2026 edition, with dependent types, sbt plugin classpath isolation, an sbt security fix and more.
The site's had a refresh too!
:scala: 👉 https://www.scalanews.net/Archive/2026/scala_news_2026-08-31.html 👈 :scala:
cc @hktpe @scala_lang @armanbilge @eed3si9n @jducoeur @SethTisue
-
Array languages ask one thing of an experienced programmer: stop writing the loop.
In q, 2 * til 5 gives 0 2 4 6 8. No index, no accumulator: the iteration has moved into the operator. The same move carries from a list to a table, a query and a time-series join.
A short curriculum: a brief laboratory in J, then q/kdb+ (KX) as the destination. Every example runs against the real interpreters.
Article 1 of 6: https://nandan.me/writing/array-thinking-all-the-way-to-q/
-
Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
-
Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
#FunctionalProgramming #Bangalore #meetup -
I've been having a lot of fun writing small scripts with #Janet . So I've written a first impressions post about it: https://jmmonteiro.com/blog/2026-09-23/
If you're coming from a #Lisp language like #Clojure /#babashka or #Scheme, give Janet a look.
-
New pre-print out (and submitted to JFP): "niFite semPurtatoni" (Finite permutations in Agda). We study a first-order representation of finite permutations: every value of this type represents a bijection by construction (1st image). An interesting part is composition — finding a definition that's structurally recursive at all takes some care (2nd image: an example, plus the key lemma that `skip` and `pinch` are approximate inverses). Inversion, and the classical Lehmer-code "counting inversions" description, fall out of that same recursive shape.
📝 Blog: https://patrikja.owlstown.net/posts/5976
📄 Pre-print: https://hal.science/hal-05746158
💻 Code: https://github.com/DSLsofMath/PermutationLehmer -
Readings shared: 14-20 September, 2026. https://jaalonso.github.io/vestigium/posts/2026/09/20-lecturas_compartidas_el_20-sep-26/ #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver
-
Search over algebraic graphs. ~ David Anekstein. https://anekstein.com/posts/2026-08-22.html #Haskell #FunctionalProgramming
-
Lean metaprogramming etudes: execution is elaboration. ~ Philip Zucker. https://www.philipzucker.com/elab_lean/ #LeanProver #ITP #FunctionalProgramming
-
-
I haven't watched this yet, but it looks like an interesting analysis:
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #Haskell #ZuriHac #functionalprogramming
>
> Why do companies stop using Haskell, even when the language itself works well? Vaibhav Sagar examines real-world cases to uncover the business, organizational, and technical forces that can push companies away from Haskell.
>
> The talk begins by examining Haskell's unique position in the software industry. While Haskell has proven itself capable of supporting successful businesses, it remains neither a mainstream technology nor the industry's newest trend. This creates a situation where failures are often attributed to the language itself, even when broader business forces are responsible. Sagar contrasts characteristics of the Haskell ecosystem with common business priorities such as profit maximization, short-term incentives, and the systematic undervaluation of maintenance work.
>
> Through a series of recurring patterns, he analyzes how Haskell projects can end. These include large-scale rewrites, second-system effects, failed experiments, vanity projects, funding challenges, acquisitions, leadership changes, technology-fashion cycles, overly complex codebases, and infrastructure limitations. Along the way, he connects these stories to broader software engineering concepts such as technical debt, process improvement, organizational incentives, and long-term maintainability. -
🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
Live Jobs | Beam It -
🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
Live Jobs | Beam It -
Mapping your toDomain() method can fail three ways at once: It drifts, it stops at the first error, and its errors have no address.
One interface, one annotation, both directions generated at compile time, every bad field reported at once. The chapter, from the top:
https://higher-kinded-j.github.io/v0.4.10/mapping/ch_intro.html
#Java #JVM #FunctionalProgramming -
Worse is better: C# versus F# by Mark Seemann
https://blog.ploeh.dk/2026/09/08/worse-is-better-c-versus-f/
-
Beyond #Lambdas: Raising the #Abstraction Level of Functional Code
https://adamtornhill.substack.com/p/beyond-lambdas-raising-the-abstraction
-
Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q
#Haskell #PureScript #Rust #Elixir
Informal FPIndia Gathering · L... -
Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
https://luma.com/xpbc4v4q -
Complexity is inevitable. Tangled code isn’t.
Advanced Functional Programming with Elixir by Joseph Koski
Use real-world Elixir in FunPark as the working domain, and a production-ready, open-source library you can use and extend into your own projects. Core abstractions like equality, ordering, predicates, monoids, and monads can become practical tools that help you build software that stays understandable as it grows.https://pragprog.com/titles/jkelixir
#ElixirLang #FunctionalProgramming