#FunctionalProgramming
LightNews LightNews
gothartech.bsky.social
AI Made Code Cheap. OO Made Reasoning Expensive. Why Java, C#, and Kotlin feel like yesterday's suits—and what to wear instead.

The Post-OO Stack: Choosing Languages for an AI-Accelerated World

Read the article →

#OOP #FunctionalProgramming
The Post-OO Stack: Choosing Languages for an AI-Accelerated World
November 5, 2026 at 1:00 PM
mlabs-consulting.bsky.social
Our PureScript transaction builder takes a list of steps (spend, pay, mint, vote) and turns it into a transaction. v4 can spend datum-less V3 outputs (CIP-69).

github.com/mlabs-haskel... #PureScript #FunctionalProgramming
GitHub - mlabs-haskell/purescript-cardano-transaction-builder: Declarative transaction builder API for cardano-transaction-lib
Declarative transaction builder API for cardano-transaction-lib - mlabs-haskell/purescript-cardano-transaction-builder
github.com
November 3, 2026 at 4:10 PM
news.karthihegde.dev
LISP Comes of Age (1980)
Discussion | hackernews | Author: so-cal-schemer

#FunctionalProgramming
LISP Comes of Age (1980)
A report on the 1980 LISP conference at Stanford University, held the week after the AAAI Artificial Intelligence Conference. Written for Byte.
microship.com
October 23, 2026 at 6:36 AM
programmerhumor-io.bsky.social
Absolute Cinema

#oop #programming #reddit #Functionalprogramming #Programmingparadigms

https://programmerhumor.io/programming-memes/absolute-cinema-4jmv
Absolute Cinema
October 20, 2026 at 9:23 PM
news.karthihegde.dev
Types of types: Haskell's Kind system
Discussion | hackernews | Author: Thom2503

#FunctionalProgramming
Types of types: Haskell's Kind system
Kinda?
thunk.blog
October 17, 2026 at 10:05 PM
mlabs-consulting.bsky.social
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
First Know Thyself: Understanding String Matching Performance With ASCII
How to work out why Haskell code under-performs - choosing and trusting the right tools, applied to the problem of string matching over ASCII.
www.mlabs.city
October 12, 2026 at 2:02 PM
mlabs-consulting.bsky.social
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
Quasiquoting for Fun, Profit, Expressions and Patterns
Quasiquotation in Haskell gives you smart constructors that work in expressions and patterns alike, separating data representation from its interface.
www.mlabs.city
October 12, 2026 at 2:02 PM
jalonso.eurosky.social
Weekly reads: Oct 5 – Oct 11, 2026. jaalonso.github.io/vestigium/po...

#AI4Math #Autoformalization #CAS #FunctionalProgramming #Haskell #IsabelleHOL #ITP #LeanProver #Logic #Math #RetoLean4 #RocqProver
Weekly reads: Oct 5 – Oct 11, 2026
Here are the 38 reads I shared on Mastodon this past week. This week's main thread is the impact of AI on mathematics. Terence Tao ("Math 2.0"), Jeremy Avigad, Christian Szegedy and Quanta Magazine ea
jaalonso.github.io
October 12, 2026 at 10:44 AM
symbo1ics.bsky.social
Highlights and video links in replies.

#haskell #functionalprogramming #fp
haskell.org Haskell programming language @haskell.org · 27d
#MuniHac 2026 is over! Many thanks to the amazing team at @tngtech.com for organising the event for the 10th consecutive year!
A group picture showing four people around a kakemono branded with the MuniHac logo and "welcome!" written on it A room with a sign on the door saying "Hacking area / Keynotes"
October 11, 2026 at 5:39 PM
news.karthihegde.dev
Functional Programming in Python: When and How to Use It
tech_blogs_real_python

#FunctionalProgramming
Functional Programming in Python: When and How to Use It
See how Python supports functional programming, what the paradigm actually is, and where it fits in the code you write day to day.
realpython.com
October 11, 2026 at 2:35 PM
tomas-florian.bsky.social
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
October 11, 2026 at 3:54 AM
mlabs-consulting.bsky.social
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
Our Performance is massiv: Getting the Most Out of Your Hardware in Haskell
Getting real performance out of Haskell with the massiv library - temporal and spatial locality, parallelism, and why arrays make both of them possible.
www.mlabs.city
October 9, 2026 at 1:37 PM
jalonso.eurosky.social
Online edition of "Haskell: the craft of functional programming". ~ Simon Thompson. simonjohnthompson.github.io/haskellcraft/ #Haskell #FunctionalProgramming
October 8, 2026 at 3:48 PM
mlabs-consulting.bsky.social
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
Patterns and Paradoxes: The Logic of Pattern Synonyms
Pattern synonyms give Haskell the separation of representation and interface that smart constructors promise, without the cost of Template Haskell.
www.mlabs.city
October 8, 2026 at 2:54 PM
news.karthihegde.dev
Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits
Discussion | hackernews | Author: speckx

#FunctionalProgramming
Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits
Tiger Style and matklad recommend pushing ifs up and fors down. This post looks at what the idiom actually says, where it shows up in query optimization and in the algebra of functional programs, and where the analogy stops paying for itself.
debasishg.github.io
October 7, 2026 at 7:35 PM
news.karthihegde.dev
Making a GTK application in Haskell, part 1
Discussion | hackernews | Author: Vosporos

#FunctionalProgramming
Making a GTK application in Haskell, part 1
Floréal Technologies: Open software, French touch, International reach.
floreal.tech
October 5, 2026 at 3:36 PM
news.karthihegde.dev
Differences Between `Foldl` and `Foldr`
Discussion | hackernews | Author: signa11

#FunctionalProgramming
Differences Between `Foldl` and `Foldr`
`foldl` and `foldr` can be confusing, so let's work out what's up
blog.haskell.org
October 5, 2026 at 12:35 PM
jalonso.eurosky.social
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
Weekly reads: Sep 28 – Oct 4, 2026
Here are the reads I shared on Mastodon this past week: 1. Lean 4 A constructive ATLAS of finite simple groups in Lean. ~ Gerald Höhn. #LeanProver #ITP #AI4Math A Lean formalization of the Hamilton-P
jaalonso.github.io
October 5, 2026 at 11:02 AM
news.karthihegde.dev
Quantitative Finance with OCaml
Discussion | hackernews | Author: leonry

#FunctionalProgramming
Quantitative Finance with OCaml
qcaml.com
October 5, 2026 at 2:35 AM
news.karthihegde.dev
Interview with Chicken Scheme Maintainer Sjamaan/Peter Bex
Discussion | hackernews | Author: veqq

#FunctionalProgramming
Interview with Chicken Scheme Maintainer Sjamaan/Peter Bex
Chicken Scheme maintainer, optimizer and Postgres fan
alexalejandre.com
October 4, 2026 at 11:35 PM
scott.keck-warren.com
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/
October 4, 2026 at 11:18 AM
scott.keck-warren.com
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/
October 3, 2026 at 11:08 AM
huehnken.de
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
Haskell for Mac IDE — Learn Functional Programming with Haskell
Haskell for Mac is an easy-to-use innovative programming environment for the programming language Haskell. It is ideal to learn Haskell and functional programming. It is also great to prototype and ex...
haskellformac.com
October 2, 2026 at 11:08 AM
jalonso.eurosky.social
Teaching Haskell in the age of LLMs, part 1: ban or embrace? ~ Vladislav Zavialov. serokell.io/blog/teachin... #Haskell #FunctionalProgramming #LLMs
Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?
LLMs can solve standard Haskell exercises. We explain why this challenges functional programming course design and why our new course will allow their use.
serokell.io
October 1, 2026 at 3:31 PM
news.karthihegde.dev
What the TDOE interns have wrought, 2026 edition
tech_blogs_jane_street

#FunctionalProgramming
What the TDOE interns have wrought, 2026 edition
The following is part of a series of posts about 2026 summer intern projects—for more, see “What the interns have wrought, special jumbo 2026 edition”
blog.janestreet.com
September 30, 2026 at 11:06 PM