Lil' Fun Langs

Why free monads matter

A tour of free monads and their motivating use cases

Monaspace

An innovative superfamily of fonts for code

Write You a Haskell ( Stephen Diehl )

With Category Theory, Mathematics Escapes From Equality | Quanta Magazine

Two monumental works have led many mathematicians to avoid the equal sign. The process has not always gone smoothly.

The Mathocalypse

Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on …

Haskell: A Great Procedural Language

These sound like dismissals or absurdities from the outside, but once you learn what they really mean, they take on a new light. In this article, I want to explain the third. (See the appendix if you are curious about the first two.)

Aaron Steven White

computational semanticist. into modular synths and rum. https://aaronstevenwhite.io

Implementing a Hindley-Milner Type System (Part 1) | Blog

First part of a tutorial on implementing a Hindley-Milner type system for a simple, purely functional programming language in Haskell. We go over syntax representation, how the Hindley-Milner type system is defined, polymorphism vs. monomorphism, generalization, and instantiation.

Uri Bram 🔍 on Twitter / X

So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025

Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming

We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...

candy-lang/candy

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

51 Ways to Spell the Image Giraffe: The Hidden Politics of Token Languages in Generative AI

Generative AI models don't operate on human languages – they speak in **tokens**. Tokens are computational fragments that deconstruct lan...

The Lisp Curse

The expressive power of Lisp has drawbacks.

Ondine · Mermaid Diagrams, Compiled

A fast, small diagram engine for Mermaid syntax, written in Rust.

The Math Is Haunted — overreacted

A taste of Lean.