New blog post!
#Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better?
What's the big deal with Applicatives and Selective Applicatives?
Read on!
chrispenner.ca/posts/expres...
#Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better?
What's the big deal with Applicatives and Selective Applicatives?
Read on!
chrispenner.ca/posts/expres...
Monads are too powerful: The Expressiveness Spectrum
Monads are a useful tool, but what costs do we pay for their expressive
power?
chrispenner.ca
September 27, 2025 at 4:02 AM
New blog post!
#Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better?
What's the big deal with Applicatives and Selective Applicatives?
Read on!
chrispenner.ca/posts/expres...
#Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better?
What's the big deal with Applicatives and Selective Applicatives?
Read on!
chrispenner.ca/posts/expres...
Singular-plural
Animacy hierarchy
Poly-personal agreement
Benefactive and instrumental applicatives
Indeed
These shall be the ingredients to @desmondfallout.bsky.social 's dragon language 🧙♀️
Animacy hierarchy
Poly-personal agreement
Benefactive and instrumental applicatives
Indeed
These shall be the ingredients to @desmondfallout.bsky.social 's dragon language 🧙♀️
January 30, 2026 at 1:57 AM
Singular-plural
Animacy hierarchy
Poly-personal agreement
Benefactive and instrumental applicatives
Indeed
These shall be the ingredients to @desmondfallout.bsky.social 's dragon language 🧙♀️
Animacy hierarchy
Poly-personal agreement
Benefactive and instrumental applicatives
Indeed
These shall be the ingredients to @desmondfallout.bsky.social 's dragon language 🧙♀️
some things which are just monoids:
- monads
- applicatives
- rings
- rigs (semirings)
- unital associative algebras
- commutative monoids
- quantales
- preorders
- categories
- comonoids
- identity-on-objects functors
- strict monoidal categories
- monads
- applicatives
- rings
- rigs (semirings)
- unital associative algebras
- commutative monoids
- quantales
- preorders
- categories
- comonoids
- identity-on-objects functors
- strict monoidal categories
May 8, 2026 at 7:05 PM
some things which are just monoids:
- monads
- applicatives
- rings
- rigs (semirings)
- unital associative algebras
- commutative monoids
- quantales
- preorders
- categories
- comonoids
- identity-on-objects functors
- strict monoidal categories
- monads
- applicatives
- rings
- rigs (semirings)
- unital associative algebras
- commutative monoids
- quantales
- preorders
- categories
- comonoids
- identity-on-objects functors
- strict monoidal categories
the number of times applicatives are described as "I want to apply a function in an f to a value in an f" and not the actual meaning ("I want to map a function over several fs") is insane
January 5, 2026 at 2:37 PM
the number of times applicatives are described as "I want to apply a function in an f to a value in an f" and not the actual meaning ("I want to map a function over several fs") is insane
Muñoz Pérez, C., (2026) “Stylistic applicatives: a lens into the nature of anticausative SE”, Glossa: a journal of general linguistics 11(1).
doi: doi.org/10.16995/glo...
#linguistics
doi: doi.org/10.16995/glo...
#linguistics
Stylistic applicatives: a lens into the nature of anticausative <em>SE</em>
This is an accepted article with a DOI pre-assigned that is not yet published.This paper examines an understudied syntactic phenomenon in Chilean Spanish: stylistic applicatives. This construction inv...
doi.org
January 15, 2026 at 3:18 PM
Muñoz Pérez, C., (2026) “Stylistic applicatives: a lens into the nature of anticausative SE”, Glossa: a journal of general linguistics 11(1).
doi: doi.org/10.16995/glo...
#linguistics
doi: doi.org/10.16995/glo...
#linguistics
I decided to rearrange the Dao of FP by moving the chapter about Applicatives ahead of Monads. This forced me to separate the discussion of effects into a separate chapter. This goes against the usual approach in category theory, where monads are everything, and applicatives are barely mentioned.
January 24, 2025 at 9:10 AM
I decided to rearrange the Dao of FP by moving the chapter about Applicatives ahead of Monads. This forced me to separate the discussion of effects into a separate chapter. This goes against the usual approach in category theory, where monads are everything, and applicatives are barely mentioned.
Functors, Applicatives, and Monads Discussion
Functors, Applicatives, and Monads: Unboxing Functional Programming Concepts
Thanks to constructs like monads, imperative-style code can be reconciled with the purity and declarative nature of functional programming.
www.thecoder.cafe
March 30, 2025 at 5:20 PM
Functors, Applicatives, and Monads Discussion
Et y'a un fossé entre IA génératives de merde et IA applicatives. Les IA génératives prennent l'énergie et la place dont on pourrait avoir besoin pour utiliser intelligemment des IA pour le progrès réel. Mais bon on va bruler la planète pour pouvoir transformer n'importe quoi en Simpsons
December 29, 2024 at 1:44 PM
Et y'a un fossé entre IA génératives de merde et IA applicatives. Les IA génératives prennent l'énergie et la place dont on pourrait avoir besoin pour utiliser intelligemment des IA pour le progrès réel. Mais bon on va bruler la planète pour pouvoir transformer n'importe quoi en Simpsons
i suddenly realised how good OCaml's effects are, because I've been writing tons of direct-style Eio code recently to do real stuff with big amounts of data without having to worry about OCaml's effects or monads or applicatives or where my exception tracebacks went
August 21, 2025 at 8:17 PM
i suddenly realised how good OCaml's effects are, because I've been writing tons of direct-style Eio code recently to do real stuff with big amounts of data without having to worry about OCaml's effects or monads or applicatives or where my exception tracebacks went
admittedly applicatives have been around for a decade longer than selectives
May 15, 2025 at 8:55 AM
admittedly applicatives have been around for a decade longer than selectives
I’m watching my past work and I realised I did so much cool stuff
Algebraic logger
Bidirectional serialisation with Profunctors and Applicatives
Selective validation
Maybe I need to translate some of my past ideas from Haskell to OCaml 🤔
Algebraic logger
Bidirectional serialisation with Profunctors and Applicatives
Selective validation
Maybe I need to translate some of my past ideas from Haskell to OCaml 🤔
December 6, 2024 at 6:01 PM
I’m watching my past work and I realised I did so much cool stuff
Algebraic logger
Bidirectional serialisation with Profunctors and Applicatives
Selective validation
Maybe I need to translate some of my past ideas from Haskell to OCaml 🤔
Algebraic logger
Bidirectional serialisation with Profunctors and Applicatives
Selective validation
Maybe I need to translate some of my past ideas from Haskell to OCaml 🤔
i just realized that it's kind of funny how ocaml people love monadic results and use them to show off how nice their language is but haskell people often try to avoid them if possible (and use validation applicatives instead)
November 11, 2024 at 12:17 AM
i just realized that it's kind of funny how ocaml people love monadic results and use them to show off how nice their language is but haskell people often try to avoid them if possible (and use validation applicatives instead)
Look at what Haskell programmers have been demanding your Respect for all this time
![(<<$>>) :: Functors '[f1, f2] => (a -> b) -> f2 (f1 a) -> f2 (f1 b) infixl 4
(<<<$>>>) :: Functors '[f1, f2, f3] => (a -> b) -> f3 (f2 (f1 a)) -> f3 (f2 (f1 b)) infixl 4
(<<<<$>>>>) :: Functors '[f1, f2, f3, f4] => (a -> b) -> f4 (f3 (f2 (f1 a))) -> f4 (f3 (f2 (f1 b))) infixl 4
(<<<<<$>>>>>) :: Functors '[f1, f2, f3, f4, f5] => (a -> b) -> f5 (f4 (f3 (f2 (f1 a)))) -> f5 (f4 (f3 (f2 (f1 b)))) infixl 4
(<<*>>) :: Applicatives '[f1, f2] => f2 (f1 (a -> b)) -> f2 (f1 a) -> f2 (f1 b) infixl 4
(<<<*>>>) :: Applicatives '[f1, f2, f3] => f3 (f2 (f1 (a -> b))) -> f3 (f2 (f1 a)) -> f3 (f2 (f1 b)) infixl 4
(<<<<*>>>>) :: Applicatives '[f1, f2, f3, f4] => f4 (f3 (f2 (f1 (a -> b)))) -> f4 (f3 (f2 (f1 a))) -> f4 (f3 (f2 (f1 b))) infixl 4
(<<<<<*>>>>>) :: Applicatives '[f1, f2, f3, f4, f5] => f5 (f4 (f3 (f2 (f1 (a -> b))))) -> f5 (f4 (f3 (f2 (f1 a)))) -> f5 (f4 (f3 (f2 (f1 b)))) infixl 4](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:6ouaxjxgcbwzw6porooiafil/bafkreihcocwgc5fd3tc44wbmcctyaoqynlaph5bti77wfxrftkk7xzcfty)
September 4, 2026 at 7:40 AM
Look at what Haskell programmers have been demanding your Respect for all this time
Does anyone here know a lot about monads & applicatives & such?
I'm curious about how to make spreadsheet-style data-flows "monadic".
If that sounds interesting please look at my scattered notes at typst.app/project/rnf1... and lmk what's going on.
Quick motivation in thread...
I'm curious about how to make spreadsheet-style data-flows "monadic".
If that sounds interesting please look at my scattered notes at typst.app/project/rnf1... and lmk what's going on.
Quick motivation in thread...
October 6, 2025 at 4:04 AM
Does anyone here know a lot about monads & applicatives & such?
I'm curious about how to make spreadsheet-style data-flows "monadic".
If that sounds interesting please look at my scattered notes at typst.app/project/rnf1... and lmk what's going on.
Quick motivation in thread...
I'm curious about how to make spreadsheet-style data-flows "monadic".
If that sounds interesting please look at my scattered notes at typst.app/project/rnf1... and lmk what's going on.
Quick motivation in thread...
One of my favorite pastimes is abusing (free, I guess) monads via LINQ syntax in C# with the goal of constructing applicatives.
The latest application? Shell pipelines.
The latest application? Shell pipelines.
April 10, 2026 at 6:14 PM
One of my favorite pastimes is abusing (free, I guess) monads via LINQ syntax in C# with the goal of constructing applicatives.
The latest application? Shell pipelines.
The latest application? Shell pipelines.
Functors to Monads: A story of shapes. ~ Justin Lê (@mstk). blog.jle.im/entry/functo... #Haskell #FunctionalProgramming
Functors to Monads: A Story of Shapes
For many years now I’ve been using a mental model and intuition that has guided me well for understanding and teaching and using functors, applicatives, monads, and other related Haskell abstractions,...
blog.jle.im
November 5, 2024 at 1:19 PM
Functors to Monads: A story of shapes. ~ Justin Lê (@mstk). blog.jle.im/entry/functo... #Haskell #FunctionalProgramming
"Rust needs higher-kinded types for [functors, applicatives, monads] for useful reasons" wrong. We need it so we can have Data.Fix hackage.haskell.org/package/data...
Data.Fix
hackage.haskell.org
May 29, 2026 at 10:40 PM
"Rust needs higher-kinded types for [functors, applicatives, monads] for useful reasons" wrong. We need it so we can have Data.Fix hackage.haskell.org/package/data...
C'est effectivement la grammaire développée contre les sciences humaines, importée contre les sciences naturelles (non applicatives) et désormais contre les sciences du climat (et écologiques). Ce confusionnisme par captation de vocabulaire scientifique a un financement privé très bien sourcé.
July 12, 2026 at 8:23 AM
C'est effectivement la grammaire développée contre les sciences humaines, importée contre les sciences naturelles (non applicatives) et désormais contre les sciences du climat (et écologiques). Ce confusionnisme par captation de vocabulaire scientifique a un financement privé très bien sourcé.
That combines "monads" and "spreadsheets" in a different way, using monads/applicatives/etc. to model how cells access other cells. I'm instead interested in using monads/applicatives/etc. to make spreadsheets with fancy values in cells, like the spreads in Apparatus.
October 6, 2025 at 9:00 AM
That combines "monads" and "spreadsheets" in a different way, using monads/applicatives/etc. to model how cells access other cells. I'm instead interested in using monads/applicatives/etc. to make spreadsheets with fancy values in cells, like the spreads in Apparatus.
Check out KU at #LSA2026!!
I'm on at 4 on Thursday with Jean Paul Ngoboka where we look at grammaticalization in Kinyarwanda 🇷🇼
On Friday at 2:15 Phil Duncan is showing how "have" predicates in Me'phaa are applicatives 🤩
I'm on at 4 on Thursday with Jean Paul Ngoboka where we look at grammaticalization in Kinyarwanda 🇷🇼
On Friday at 2:15 Phil Duncan is showing how "have" predicates in Me'phaa are applicatives 🤩
January 7, 2026 at 12:31 AM
Check out KU at #LSA2026!!
I'm on at 4 on Thursday with Jean Paul Ngoboka where we look at grammaticalization in Kinyarwanda 🇷🇼
On Friday at 2:15 Phil Duncan is showing how "have" predicates in Me'phaa are applicatives 🤩
I'm on at 4 on Thursday with Jean Paul Ngoboka where we look at grammaticalization in Kinyarwanda 🇷🇼
On Friday at 2:15 Phil Duncan is showing how "have" predicates in Me'phaa are applicatives 🤩
Heureusement, j'ai utilisé Tiny11, qui permet de faire une installation légère de Windows, sans toutes les merdes applicatives, Teams, Onedrive et tous les trucs liés au compte Microsoft.
C'est nettement mieux ! Mais je reste sur mon Linux !
C'est nettement mieux ! Mais je reste sur mon Linux !
January 4, 2026 at 10:59 AM
Heureusement, j'ai utilisé Tiny11, qui permet de faire une installation légère de Windows, sans toutes les merdes applicatives, Teams, Onedrive et tous les trucs liés au compte Microsoft.
C'est nettement mieux ! Mais je reste sur mon Linux !
C'est nettement mieux ! Mais je reste sur mon Linux !
S'il n'y a pas au moins 3 aspects verbaux et des voix applicatives, c'est trop mainstream.
January 16, 2024 at 3:36 PM
S'il n'y a pas au moins 3 aspects verbaux et des voix applicatives, c'est trop mainstream.
Free applicatives and the handle pattern to optimise queries to remote systems: exploring-better-ways.bellroy.com/free-applica...
Free applicatives, the handle pattern, and remote systems
Using free applicatives and the handle pattern to batch, optimise and test interactions with remote systems
exploring-better-ways.bellroy.com
October 13, 2025 at 8:47 AM
Free applicatives and the handle pattern to optimise queries to remote systems: exploring-better-ways.bellroy.com/free-applica...
Surtout tu mets un blocage que seul un autre compte peut bloquer. Les vols de données dans le cas de la DGFiP ne vient pas de failles applicatives directement contrairement à la faille IDOR de l’ANTS
August 19, 2026 at 8:29 PM
Surtout tu mets un blocage que seul un autre compte peut bloquer. Les vols de données dans le cas de la DGFiP ne vient pas de failles applicatives directement contrairement à la faille IDOR de l’ANTS
Someone shared a JSON codec library in OCaml.
And then someone else suggested using Applicatives and Profunctors there.
I just happened to spend 4 years on this topic and becoming an expert in it in the process, so I couldn’t resist commenting.
discuss.ocaml.org/t/ann-jsont-...
And then someone else suggested using Applicatives and Profunctors there.
I just happened to spend 4 years on this topic and becoming an expert in it in the process, so I couldn’t resist commenting.
discuss.ocaml.org/t/ann-jsont-...
[ANN] Jsont 0.1.0 – Declarative JSON data manipulation for OCaml
Hello, It’s my pleasure to announce the first release of the jsont libary: Jsont is an OCaml library for declarative JSON data manipulation. It provides: Combinators for describing JSON data usin...
discuss.ocaml.org
December 3, 2024 at 9:51 PM
Someone shared a JSON codec library in OCaml.
And then someone else suggested using Applicatives and Profunctors there.
I just happened to spend 4 years on this topic and becoming an expert in it in the process, so I couldn’t resist commenting.
discuss.ocaml.org/t/ann-jsont-...
And then someone else suggested using Applicatives and Profunctors there.
I just happened to spend 4 years on this topic and becoming an expert in it in the process, so I couldn’t resist commenting.
discuss.ocaml.org/t/ann-jsont-...