Category theory with a central role for profunctors

In today's episode, we're joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix College and the creator, among other things, of the Diagrams vector graphics library and Swarm, a 2...

OpenSCAD Playground: edit .scad models and render them to STL from the browser (WebAssembly build OpenSCAD, with Monaco editor and STL Viewer)

Type inference algorithm for biased record concatenation

Crash-land, gather, refine and fabricate your way off a dead moon. The only way off this rock is the one you build.

AISLE's analyzer discovered 6 new CVEs in curl, more than 2x the nearest AI security platform and including the oldest security issue in the project.

Curated reactive Haskell notebooks.

Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.

The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.

A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!

The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.

This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. ...

The trick that makes GHC’s ApplicativeDo optimization faster is structurally identical to how biologists predict RNA folding.

Introducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation

Previously: Profunctor Equipment. To make things more palatable for programmers, I decided to provide a toy implementation of some of the equipments in Haskell. The advantage of this encoding is th…

The fundamental premise of category theory is that it’s possible to fully capture the nature of objects by describing their interactions with other objects of the same type. Those interaction…

Some years ago I came across an issue in the Frames repo that mentioned a blog post titled “Why pandas feels clunky when coming from R.” The article showed a side-by-side of simple data exploration in R and compared the code to Pandas. At the time, the author concluded that Pandas was “clunkier” than R. The author operationalises the definition of clunkiness but I think it’s really more of a you-know-it-when-you-see-it thing. You can feel if an API is making you drift further away from your task and making you think more about the tool and its idiosyncracies.

YouTube video by Well-Typed

An experiment to see what interpretation into (pre)sheaves categories look like - aspiwack/sheaf-lang-demo

We received 553 answers to the question “If you could change one thing about Haskell, what would it be?”. This is the breakdown.