#functionalprogramming — Public Fediverse posts

🆕 Racket v9.3 https://blog.racket-lang.org/2026/08/racket-v9-3.html

#racketlang #programming #functionalprogramming

🆕 Racket v9.3 https://blog.racket-lang.org/2026/08/racket-v9-3.html

#racketlang #programming #functionalprogramming

Thisnis actually starting to look better than I thought.

Mixing explicit type annotation and choosing some parts to be inferred is some cool shit.

----

A Preview of Roc 0.1.0 by Richard Feldman

https://www.youtube.com/watch?v=a7qEOtkkDb8

#functionalProgramming #FP #programming #programmingLanguages #roc #roclang

Thisnis actually starting to look better than I thought.

Mixing explicit type annotation and choosing some parts to be inferred is some cool shit.

----

A Preview of Roc 0.1.0 by Richard Feldman

https://www.youtube.com/watch?v=a7qEOtkkDb8

#functionalProgramming #FP #programming #programmingLanguages #roc #roclang

Accepted! I'll be talking about bending strongly typed language compilers to your will at the 2026 #IndiaFoss in #Bangalore. #FunctionalProgramming enthusiasts, come join me there. Let's make it IndiaFPoss! 😉

https://fossunited.org/c/indiafoss/2026/cfp/d8b9uvdntg

Accepted! I'll be talking about bending strongly typed language compilers to your will at the 2026 #IndiaFoss in #Bangalore. #FunctionalProgramming enthusiasts, come join me there. Let's make it IndiaFPoss! 😉

https://fossunited.org/c/indiafoss/2026/cfp/d8b9uvdntg

F# in .NET 11 Preview 7 - Release Notes

https://github.com/dotnet/core/blob/main/release-notes/11.0/preview/preview7/fsharp.md

#dotnet #fsharp #functionalprogramming #dotnet11

F# in .NET 11 Preview 7 - Release Notes

https://github.com/dotnet/core/blob/main/release-notes/11.0/preview/preview7/fsharp.md

#dotnet #fsharp #functionalprogramming #dotnet11

what's a good introductory video talk or text on coinduction and coinductive data types?

#typetheory #categorytheory #algebra #math #theoreticalComputerScience #recursion #FunctionalProgramming #coinduction

Tirritate pure #FunctionalProgramming aficionados by denouncing the idea that one can't fix their data structure after buying it as an example of the consumerism propaganda of late stage capitalism.

Tirritate pure #FunctionalProgramming aficionados by denouncing the idea that one can't fix their data structure after buying it as an example of the consumerism propaganda of late stage capitalism.

Solving AoC with Haskell. ~ Asliddin Abdivasiyev. https://azizovich.uz/posts/advent-of-code-solving.html #Haskell #FunctionalProgramming

Solving AoC with Haskell. ~ Asliddin Abdivasiyev. https://azizovich.uz/posts/advent-of-code-solving.html #Haskell #FunctionalProgramming

Since January I've written almost nothing but Elm, and I've been trying to work out why it makes me so happy.

Partly it's the type system as a creative act rather than a puritan spoiler of fun. Partly it's that exhaustive pattern matching quietly compensates for my terrible working memory — the compiler remembers the cases I'd forget.

A post about language design, joy, and what your favourite language says about your brain.

https://whitebeard.blog/posts/learning-about-myself-through-elm/

#Elm #FunctionalProgramming #Programming

Since January I've written almost nothing but Elm, and I've been trying to work out why it makes me so happy.

Partly it's the type system as a creative act rather than a puritan spoiler of fun. Partly it's that exhaustive pattern matching quietly compensates for my terrible working memory — the compiler remembers the cases I'd forget.

A post about language design, joy, and what your favourite language says about your brain.

https://whitebeard.blog/posts/learning-about-myself-through-elm/

#Elm #FunctionalProgramming #Programming

I am starting to become very annoyed with #Guile Scheme because they are so far behind in providing some very important modern SRFIs.

Of course I could implement these myself and submit a patch, but in the mean time I would have to wait for my patch to be accepted and distributed in the next Guile version. And while I waited I would have to just implement these SRFIs in my own source code for myself. I don’t have time, so I always end up just implementing the APIs that I need for my own project, usually as a wrapper around some other Guile API that does provide that functionality but in a non-standard way.

For the past two years or so I have kept on running into issues caused by the fact that Guile does not provide SRFI-125 (hash tables) and SRFI-128 (comparators). Guile provides SRFI-69 (the old hash tables) but it doesn’t use comparators, and so the semantics for things like make-hash-table and alist->hash-table in Guile are not compatible with most other R7RS-compliant Scheme implementations. I keep having to go back and update various cond-expand statements to get around this. Some data structures are so fundamental to modern software that you just can’t do without them. Providing these SRFIs should really be a priority.

Also the following would be really nice to have in Guile, like really soon:

• SRFI-160: homogeneous numerical vectors, Guile only provides the older version of it, SRFI-4.
• SRFI-170: POSIX API: Guile provides all of these APIs but not always in a way that follows SRFI-170.
• SRFI-180: JSON, Guile provides all of these APIs but not fully compatible with SRFI-180.
• SRFI-181: Custom ports, Guile provides similar features built-in but not in a way that follows SRFI-181.

#tech #software #Lisp #SchemeLang #Scheme #R7RS #GuileScheme #FunctionalProgramming

I am starting to become very annoyed with #Guile Scheme because they are so far behind in providing some very important modern SRFIs.

Of course I could implement these myself and submit a patch, but in the mean time I would have to wait for my patch to be accepted and distributed in the next Guile version. And while I waited I would have to just implement these SRFIs in my own source code for myself. I don’t have time, so I always end up just implementing the APIs that I need for my own project, usually as a wrapper around some other Guile API that does provide that functionality but in a non-standard way.

For the past two years or so I have kept on running into issues caused by the fact that Guile does not provide SRFI-125 (hash tables) and SRFI-128 (comparators). Guile provides SRFI-69 (the old hash tables) but it doesn’t use comparators, and so the semantics for things like make-hash-table and alist->hash-table in Guile are not compatible with most other R7RS-compliant Scheme implementations. I keep having to go back and update various cond-expand statements to get around this. Some data structures are so fundamental to modern software that you just can’t do without them. Providing these SRFIs should really be a priority.

Also the following would be really nice to have in Guile, like really soon:

• SRFI-160: homogeneous numerical vectors, Guile only provides the older version of it, SRFI-4.
• SRFI-170: POSIX API: Guile provides all of these APIs but not always in a way that follows SRFI-170.
• SRFI-180: JSON, Guile provides all of these APIs but not fully compatible with SRFI-180.
• SRFI-181: Custom ports, Guile provides similar features built-in but not in a way that follows SRFI-181.

#tech #software #Lisp #SchemeLang #Scheme #R7RS #GuileScheme #FunctionalProgramming

Tail-Call Interpreters in Rust – Jimmy Ostler

https://lordgoati.us/blog/tail-call/

Comments: https://news.ycombinator.com/item?id=49209132

#HackerNews #TailCallOptimization #Rust #Programming #Language #JimmyOstler #FunctionalProgramming

Tail-Call Interpreters in Rust – Jimmy Ostler

https://lordgoati.us/blog/tail-call/

Comments: https://news.ycombinator.com/item?id=49209132

#HackerNews #TailCallOptimization #Rust #Programming #Language #JimmyOstler #FunctionalProgramming

Readings shared: 3 – 9 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/10-readings_shared_08-10-26 #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

Readings shared: 3 – 9 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/10-readings_shared_08-10-26 #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

Working on a silly personal project. That's right! It's #Concur UI for shell scripts!

#functionalprogramming

Working on a silly personal project. That's right! It's #Concur UI for shell scripts!

#functionalprogramming

Guarded Methods in OCaml

https://xvw.lol/en/articles/oop-refl.html

Comments: https://news.ycombinator.com/item?id=49157770

#HackerNews #OCaml #GuardedMethods #OOP #ProgrammingLanguages #FunctionalProgramming

Guarded Methods in OCaml

https://xvw.lol/en/articles/oop-refl.html

Comments: https://news.ycombinator.com/item?id=49157770

#HackerNews #OCaml #GuardedMethods #OOP #ProgrammingLanguages #FunctionalProgramming

What do #FPIndia gatherings look like?

Here are a few pictures from a past #Bangalore #Meetup.

We don't usually take a lot of pictures, but will share some from each meetup going forward.

#FunctionalProgramming

What do #FPIndia gatherings look like?

Here are a few pictures from a past #Bangalore #Meetup.

We don't usually take a lot of pictures, but will share some from each meetup going forward.

#FunctionalProgramming

So happy to have my package listed here!

https://ocaml.org/p/ifs-fractals/1.1.0

The #OCaml community feels much friendlier than many others, and its release process is refreshingly centered on real human interactions. You don't simply push a new release and call it a day. Someone actually reviews it. It takes time. Something rare nowadays.

#OpenSource #FunctionalProgramming #Programming

So happy to have my package listed here!

https://ocaml.org/p/ifs-fractals/1.1.0

The #OCaml community feels much friendlier than many others, and its release process is refreshingly centered on real human interactions. You don't simply push a new release and call it a day. Someone actually reviews it. It takes time. Something rare nowadays.

#OpenSource #FunctionalProgramming #Programming

Haven't used #Haskell yet (only #OCaml) but #SimonPeytonJones is so delightful to listen to. Crystal clear explanations
https://www.youtube.com/watch?v=xcB_LF3cdqw
#PL #ProgrammingLanguages #FunctionalProgramming

Haven't used #Haskell yet (only #OCaml) but #SimonPeytonJones is so delightful to listen to. Crystal clear explanations
https://www.youtube.com/watch?v=xcB_LF3cdqw
#PL #ProgrammingLanguages #FunctionalProgramming

A person called Jonathan Kraut wrote an #assembler called Sassy in #R5RS #Scheme, which is used as the native code generating phase for the Larceny scheme compiler.

#tech #Software #SchemeLang #IA32 #FunctionalProgramming #Compiler

A person called Jonathan Kraut wrote an #assembler called Sassy in #R5RS #Scheme, which is used as the native code generating phase for the Larceny scheme compiler.

#tech #Software #SchemeLang #IA32 #FunctionalProgramming #Compiler

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community

Space for ~30 people and a screen, for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #typescript #clojure #formalmethods

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community

Space for ~30 people and a screen, for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #typescript #clojure #formalmethods

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!

We need a space for 20 to 40 people and a screen for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!

We need a space for 20 to 40 people and a screen for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods

I'm curious whether future civilizations are going to look at Nix as something primitive or something advanced

#Nix #NixOS #functionalprogramming #Linux

I'm curious whether future civilizations are going to look at Nix as something primitive or something advanced

#Nix #NixOS #functionalprogramming #Linux

Twenty years of Pandoc. https://pandoc.org/twenty-years-of-pandoc.html #Haskell #FunctionalProgramming

Twenty years of Pandoc. https://pandoc.org/twenty-years-of-pandoc.html #Haskell #FunctionalProgramming

Learn everything you need to know about Functional Programming via these 159 free HackerNoon blog posts. https://hackernoon.com/159-blog-posts-to-learn-about-functional-programming #functionalprogramming

Learn everything you need to know about Functional Programming via these 159 free HackerNoon blog posts. https://hackernoon.com/159-blog-posts-to-learn-about-functional-programming #functionalprogramming

Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver

Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver

I should give a talk titled "Prove, don't validate".

I talked a little about it this Saturday at the #FPIndia #Bangalore #Meetup

Follow me to get updates on our next meetup!

#Haskell #FunctionalProgramming #FormalVerification

I should give a talk titled "Prove, don't validate".

I talked a little about it this Saturday at the #FPIndia #Bangalore #Meetup

Follow me to get updates on our next meetup!

#Haskell #FunctionalProgramming #FormalVerification

Quick tips for fast iteration in Haskell. ~ Tom Ellis, Laurent P. René de Cotret. https://blog.haskell.org/quick-tips-for-fast-iteration-in-haskell/ #Haskell #FunctionalProgramming

Quick tips for fast iteration in Haskell. ~ Tom Ellis, Laurent P. René de Cotret. https://blog.haskell.org/quick-tips-for-fast-iteration-in-haskell/ #Haskell #FunctionalProgramming

#Functionalprogramming from first principles, part 1 – motivation

https://www.endoflineblog.com/functional-programming-from-first-principles-part-1-motivation

New falsify release. ~ Edsko de Vries. https://www.well-typed.com/blog/2026/07/falsify-4/ #Haskell #FunctionalProgramming

Existentials on a leash. ~ Colin de Roos. https://cdfa.github.io/existentials-on-a-leash/ #Haskell #FunctionalProgramming