#Functionalprogramming
LightNews LightNews
haskell.org
In this Pride Month, let us remember that #FunctionalProgramming has the privilege and honour to share our beloved λ with the Lesbian community. Let's go Lesbians!
A lower-case greek lambda in the colours of the lesbian pride flag
June 3, 2025 at 9:12 AM
jmct.bsky.social
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful!

#FunctionalProgramming #Haskell #OCamel #Programming
November 21, 2024 at 2:21 AM
jmct.bsky.social
Is it cool if I post one of my favorite creations from the other place?

#functionalprogramming #math #programming
November 18, 2024 at 5:42 AM
haskman.functional.cafe.ap.brid.gy
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
September 25, 2026 at 3:23 PM
fpindia.bsky.social
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
September 25, 2026 at 3:23 PM
haskell.org
#Haskell Language Server 2.10.0.0 release announcement!

blog.haskell.org/hls-2-10-0-0/

#LSP #FunctionalProgramming
Haskell Language Server 2.10.0.0 release | The Haskell Programming Language's blog
blog.haskell.org
April 15, 2025 at 2:00 PM
jalonso.eurosky.social
Course: Types and Programming Languages. ~ Jan Hoffmann. www.cs.cmu.edu/~janh/course... #FunctionalProgramming
October 20, 2024 at 7:35 AM
jalonso.eurosky.social
Use monoids for construction. ~ Sandy Maguire. reasonablypolymorphic.com/blog/use-mon... #Haskell #FunctionalProgramming
January 25, 2025 at 1:41 PM
alvinashcraft.com
Worse is better: C# versus F# by Mark Seemann

buff.ly/nHXl52F

#dotnet #csharp #fsharp #programming #functionalprogramming
Worse is better: C# versus F#
C# is a great programming language, but F# is better.
blog.ploeh.dk
September 8, 2026 at 2:00 PM
jalonso.eurosky.social
Monads in general, state monads. ~ René Thiemann. cl-informatik.uibk.ac.at/teaching/ws2... #Haskell #FunctionalProgramming
November 17, 2024 at 11:23 AM
kinow.bsky.social
List of books about Category Theory updated at the r/funcionalprogramming Wiki: https://old.reddit.com/r/functionalprogramming/wiki/books#wiki_category_theory #programming #FunctionalProgramming #CategoryTheory #Haskell #LISP #Python #Scala #Elm #Gleam #Ocaml
Screenshot of the Wiki page.
December 15, 2024 at 6:10 PM
desertthunder.dev
I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming
Algebraic Data Types
An overview of ADTs with F# & OCaml
open.substack.com
May 7, 2025 at 4:27 PM
alvinalexander.bsky.social
Over 200 FREE videos — no paywalls, no commercials — in six free Scala, Functional Programming, and ZIO training courses. And more coming soon ...

www.learnscala.dev

#scala #functionalprogramming
February 26, 2025 at 6:53 PM
salarrahmanian.bsky.social
📣🗞️ the latest edition of #ScalaNews is out now all #Scala

🎉👉 www.scalanews.net 👈 🚀

cc @softwaremill.com @alexn.org @hktpe.bsky.social @ghostdogpr.bsky.social @velvetbaldmime.bsky.social @eed3si9n.com @tisue.net

#fp #FunctionalProgramming
November 26, 2024 at 7:04 AM
javicabanas.bsky.social
Just joined Bluesky! Senior F# engineer based in Barcelona — 10+ years building production systems with DDD, event sourcing, and Ports & Adapters. Excited to connect with the functional programming community here.
#fsharp #dotnet #functionalprogramming
February 28, 2026 at 7:25 PM
margeditor.bsky.social
Celebrating Ash Framework by Rebecca Le and Zach Daniel, now in print!

🔗 Read more: bit.ly/4mVClik
🔗 Book club: elixirbookclub.githu...
📘 ebook: pragprog.com/titles/...
📘 print: tinyurl.com/ashframe...

#AshFramework #Elixir #WebDev #FunctionalProgramming
September 3, 2025 at 11:10 AM
jalonso.eurosky.social
Writing a small program with input and output in the Lean functional programming language. ~ Adolfo Neto (@adolfont.github.io). youtu.be/MHengN9q__0 #Lean4 #FunctionalProgramming
November 30, 2024 at 8:14 AM
jalonso.eurosky.social
Beautiful Racket (An introduction to language-oriented programming using Racket). ~ Matthew Butterick. beautifulracket.com #Racket #FunctionalProgramming
Beautiful Racket by Matthew Butterick
Beautiful Racket
beautifulracket.com
January 28, 2025 at 7:44 AM
jalonso.eurosky.social
Beginnings of a Haskell game engine. ~ Mitchell Vitez. vitez.me/haskell-game... #Haskell #FunctionalProgramming
May 9, 2025 at 5:24 PM
jalonso.eurosky.social
Record type inference for dummies. ~ Gabriella Gonzalez. haskellforall.com/2026/06/reco... #Haskell #FunctionalProgramming
June 24, 2026 at 9:13 AM
jalonso.eurosky.social
Haskell: A great procedural language. ~ kqr. entropicthoughts.com/haskell-proc... #Haskell #FunctionalProgramming
November 27, 2024 at 9:53 AM
fpindia.bsky.social
Reminder: We are meeting tomorrow morning for a #FunctionalProgramming #meetup. Everyone is welcome to attend! See you there!

#FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
February 6, 2026 at 1:01 PM
jalonso.eurosky.social
Review of "Haskell in depth" by Vitaly Bragilevsky. ~ Brent Yorgey. www.cambridge.org/core/service... #Haskell #FunctionalProgramming
February 8, 2025 at 9:12 AM
haskell.org
🎶 If you had lambda, you really had everything you wanted 🎵  #Haskell #FunctionalProgramming
jmct.bsky.social JMCT @jmct.bsky.social · Nov 21
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful!

#FunctionalProgramming #Haskell #OCamel #Programming
November 28, 2024 at 3:00 PM
jalonso.eurosky.social
An introduction to Lean 4. ~ E. Cosme Llópez, L. Gong. www.uv.es/coslloen/Arx... #ITP #LeanProver #FunctionalProgramming
September 6, 2025 at 1:54 PM