IITM students are starting an OCaml reading and discussion group: github.com/prismlab/iitm_…. Folks not associated with IITM are welcome to join. Thanks Durwasa Chakraborty for the initiative.

Dirty little secret: purely functional programming gives you this superpower by taking composition seriously. An "intermediate-to-senior typelevel.scala Scala" interview question I designed is basically "write a router that receives an incoming HTTP request, discovers all available

The Steering Committee's statement on the extended duration for the pride NixOS logo: discourse.nixos.org/t/did-nixos-lo…

every major untyped language is adding types feels like we’re winning

If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇

The videos for the Haskell Implementors Workshop youtube.com/playlist?list=… (chaired by our own Andreas Herrmann) and Haskell Ecosystem Workshop youtube.com/playlist?list=… have been released! A few highlights from us below. Tell us *your* favourite talks!

Did you know, Unison has a Zed extension? It's built by our wonderful community! 🛸 The friendly programming language from the future plays nice with your favorite editors. 👽✌️ zed.dev/extensions/uni…

Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…

Announcing the September #FPIndia #Bangalore #Meetup! #Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming RSVP: hasgeek.com/fpindia/bangal…

One of the most influential programming textbooks was first published as a paperback 40 years ago today: MIT's "Structure and Interpretation of Computer Programs." Read it for free here: rb.gy/5hvui

One reason why people find Rust difficult and have problems with the borrow checker is that bindings (not values) are mutable and implicitly mutated. Many Rust expressions are actually statements in the "binding language". To use Rust effectively one has to mentally compute the

Java will get typeclasses: youtube.com/watch?v=Gz7Or9…. #haskell finally coming to the masses!

Is there something wrong with my eyes, or is that really a Monoid in the presentation about Java? 😄 #java

We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter: well-typed.com/blog/2025/08/s…

We are looking for venues for our October meetup. Any companies in #Bangalore willing to host us? #FunctionalProgramming #India #Meetup #FPIndia #Haskell #PureScript #OCaml #Rust #Elixir #Clojure #Scala

You want higher-kinded types so much, there are emulations for a dozen popular languages that don’t have them… <github.com/yallop/higher> …and a rapidly growing TypeScript library, Effect | TypeScript at Scale, has emulated them for two years: <github.com/Effect-TS/effe…>

We have two great talks lined up for the meetup this week! An Introduction to Category Theory by Anupam Jain Modules in OCaml by Sanchayan Maity Come join us #Haskell #PureScript #OCaml #Elixir #Erlang #Scala #Clojure #CategoryTheory #India #FunctionalProgramming #FPIndia

Imagine if you could type f, and have the IDE autocomplete with any values in scope that could be used as a valid argument

Google Summer of Code #gsoc blog post! Read Xavier Góngora's tour of his project to bring #LiquidHaskell a step closer to large code bases tweag.io/blog/2025-09-1…