One change to a Haskell substring search made its worst case about 15% faster. It also made the best case almost seven times slower. Benchmark only the worst case and it looks like a win.

www.mlabs.city/blog/first-k... #Haskell #FunctionalProgramming

In Haskell, 1 % 0 only fails at runtime, because % is a smart constructor. A quasiquoter can reject it at compile time, and it also works in a pattern match, which % can't.

www.mlabs.city/blog/quasiqu... #Haskell #FunctionalProgramming

Weekly reads: Oct 5 – Oct 11, 2026. jaalonso.github.io/vestigium/po...

#AI4Math #Autoformalization #CAS #FunctionalProgramming #Haskell #IsabelleHOL #ITP #LeanProver #Logic #Math #RetoLean4 #RocqProver

Highlights and video links in replies.

#haskell #functionalprogramming #fp

Functional Programming in Python: When and How to Use It
tech_blogs_real_python

#FunctionalProgramming

TIL about currying:

It's like baking a value into a function before using it

regular:

add(x,y)
add(2,y)
add(2,3)

curried:

add(x)(y)
add(2)(y) is like creating a new function called add2(y) that behaves like this

add2(y)
{
return 2+y
}

syntax

add(2)(y)
add(2)(3)

#FunctionalProgramming

Game of Life in Haskell took 242 ms per update with vector and 11.2 ms with massiv stencils, on the same memory. A 3D cellular automaton went from 418 ms to 39 ms.

www.mlabs.city/blog/our-per... #Haskell #FunctionalProgramming

Online edition of "Haskell: the craft of functional programming". ~ Simon Thompson. simonjohnthompson.github.io/haskellcraft/ #Haskell #FunctionalProgramming

A three-valued logic packed into an Int8 can still be pattern matched like an ordinary data type, exhaustiveness checks included. Pattern synonyms do it with no Template Haskell, and they work on types you didn't write, like Word8.

www.mlabs.city/blog/pattern... #Haskell #FunctionalProgramming

Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits
Discussion | hackernews | Author: speckx

#FunctionalProgramming

Making a GTK application in Haskell, part 1
Discussion | hackernews | Author: Vosporos

#FunctionalProgramming

Differences Between `Foldl` and `Foldr`
Discussion | hackernews | Author: signa11

#FunctionalProgramming

Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Quantitative Finance with OCaml
Discussion | hackernews | Author: leonry

#FunctionalProgramming

Interview with Chicken Scheme Maintainer Sjamaan/Peter Bex
Discussion | hackernews | Author: veqq

#FunctionalProgramming

Partial function application is a fancy computer science term for setting up a function with some of its parameters now and passing the rest later. PHP 8.6 makes it native syntax.

#PHP #PHP86 #FunctionalProgramming

https://www.phparch.com/2026/09/stop-writing-php-like-this-8-6-fixes-it/

Two new symbols to learn in PHP 8.6: ? is the argument placeholder, and ... means zero or more parameters. Define the function up front and fill in the rest later.

#PHP #PHP86 #FunctionalProgramming

https://www.phparch.com/2026/09/stop-writing-php-like-this-8-6-fixes-it/

Anyone still using Haskell for Mac, or know if it's maintained? And what do you use to play around with Haskell on a Mac these days?

#Haskell #FunctionalProgramming #macOS

Teaching Haskell in the age of LLMs, part 1: ban or embrace? ~ Vladislav Zavialov. serokell.io/blog/teachin... #Haskell #FunctionalProgramming #LLMs

What the TDOE interns have wrought, 2026 edition
tech_blogs_jane_street

#FunctionalProgramming