Monads? Extremely overrated, tbh. Applicative, though,,
May 12, 2026 at 10:58 PM
Monads? Extremely overrated, tbh. Applicative, though,,
Applicative Code has got a blog! And with it, a first article sketching the concept behind the IDE.
https://blog.applicative.co/a/3mmteyfxgoo23-developing-functional-code
https://blog.applicative.co/a/3mmteyfxgoo23-developing-functional-code
Developing Functional Code
The concept behind Applicative Code
blog.applicative.co
May 27, 2026 at 8:41 PM
Applicative Code has got a blog! And with it, a first article sketching the concept behind the IDE.
https://blog.applicative.co/a/3mmteyfxgoo23-developing-functional-code
https://blog.applicative.co/a/3mmteyfxgoo23-developing-functional-code
I’m applicative-pilled. I’m in my Kliesli era. I’m going monad mode.
May 15, 2025 at 6:42 AM
I’m applicative-pilled. I’m in my Kliesli era. I’m going monad mode.
also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.
January 5, 2026 at 2:37 PM
also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.
one thing I never really understood is why haskell (conventionally) uses curried function parameters but uncurried constraints.
why is it
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
and not
traverse :: Traversable t => Applicative f => (a -> f b) -> t a -> f (t b)
?
why is it
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
and not
traverse :: Traversable t => Applicative f => (a -> f b) -> t a -> f (t b)
?
January 11, 2025 at 1:29 AM
one thing I never really understood is why haskell (conventionally) uses curried function parameters but uncurried constraints.
why is it
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
and not
traverse :: Traversable t => Applicative f => (a -> f b) -> t a -> f (t b)
?
why is it
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
and not
traverse :: Traversable t => Applicative f => (a -> f b) -> t a -> f (t b)
?
If you use Facebook, you are using Applicative Functors, and that is TRANS TECHNOLOGY!
March 14, 2026 at 7:49 PM
If you use Facebook, you are using Applicative Functors, and that is TRANS TECHNOLOGY!
and people say lens doesn't have meaningful names
hackage.haskell.org/package/lens...
hackage.haskell.org/package/lens...
January 7, 2025 at 11:20 AM
and people say lens doesn't have meaningful names
hackage.haskell.org/package/lens...
hackage.haskell.org/package/lens...
Facebook uses (Haskell sense) Applicative Functors to parallelize its spam filters.
I invented Applicative Functors, in that sense.
I am trans.
I invented Applicative Functors, in that sense.
I am trans.
March 14, 2026 at 8:22 PM
Facebook uses (Haskell sense) Applicative Functors to parallelize its spam filters.
I invented Applicative Functors, in that sense.
I am trans.
I invented Applicative Functors, in that sense.
I am trans.
Welcome to Applicative Code!
October 14, 2025 at 2:08 PM
Welcome to Applicative Code!
Wiping applicative tears from my face...
March 15, 2025 at 9:22 AM
Wiping applicative tears from my face...
#Emploi L'université recrute au poste de lead développeur backend & sécurité applicative en e-santé - détails du poste et candidature en suivant le lien :
Lead (développeur) Backend & Sécurité applicative en e-Santé F/H
Université de Bordeaux
www.u-bordeaux.fr
September 21, 2026 at 8:01 AM
#Emploi L'université recrute au poste de lead développeur backend & sécurité applicative en e-santé - détails du poste et candidature en suivant le lien :
il Garante privacy sta "indugiando" e mancano indicazioni applicative sui cookiewall - consentwall - paywall.
Intanto gli editori ne approfittano sfruttando il più possibile il tempo che passa senza regole.
In questo scenario, non posso fare molto, ma segnalo questo servizio:
12ft.io
Intanto gli editori ne approfittano sfruttando il più possibile il tempo che passa senza regole.
In questo scenario, non posso fare molto, ma segnalo questo servizio:
12ft.io
March 8, 2025 at 10:37 AM
il Garante privacy sta "indugiando" e mancano indicazioni applicative sui cookiewall - consentwall - paywall.
Intanto gli editori ne approfittano sfruttando il più possibile il tempo che passa senza regole.
In questo scenario, non posso fare molto, ma segnalo questo servizio:
12ft.io
Intanto gli editori ne approfittano sfruttando il più possibile il tempo che passa senza regole.
In questo scenario, non posso fare molto, ma segnalo questo servizio:
12ft.io
Le mec qui t'envoie une doc applicative e'll POWERPOINT avec marqué en page 2 : "LOREM IPSUM... "
May 13, 2025 at 8:16 AM
Le mec qui t'envoie une doc applicative e'll POWERPOINT avec marqué en page 2 : "LOREM IPSUM... "
I had to check whether I got this right in the ill-conceived lens post that I wrote six years ago, and it turns out that I did
January 5, 2026 at 2:47 PM
I had to check whether I got this right in the ill-conceived lens post that I wrote six years ago, and it turns out that I did
applicative chicken
September 22, 2026 at 3:00 AM
applicative chicken
TIL about -foptimal-applicative-do
August 10, 2025 at 1:26 AM
TIL about -foptimal-applicative-do
Ma petite expérience perso : j’ai un NAS et j’utilise principalement la suite applicative de Synology, y compris le Cloud Sync qui permet de faire un backup sur le NAS de tous les services cloud les + répandus.
C’est pas parfait mais c’est mieux que R 🤷♂️
C’est pas parfait mais c’est mieux que R 🤷♂️
J'avais une question un peu dans le même style sur comment se barrer de l'écosystème google le jour on ça part en sucette.
February 2, 2025 at 5:45 PM
Ma petite expérience perso : j’ai un NAS et j’utilise principalement la suite applicative de Synology, y compris le Cloud Sync qui permet de faire un backup sur le NAS de tous les services cloud les + répandus.
C’est pas parfait mais c’est mieux que R 🤷♂️
C’est pas parfait mais c’est mieux que R 🤷♂️
I need to write a talk solely for the purpose of presenting this slide and then never being invited to an FP conference again.
November 3, 2025 at 7:03 PM
I need to write a talk solely for the purpose of presenting this slide and then never being invited to an FP conference again.
yeah Writer. that is what (,) is in haskell (e.g. with the Functor, Applicative, Monad and (unfortunately) Foldable instances)
February 25, 2025 at 11:01 AM
yeah Writer. that is what (,) is in haskell (e.g. with the Functor, Applicative, Monad and (unfortunately) Foldable instances)
Selective Applicative Functors (SAF) as "exclusive determined choice: blog.veritates.love/selective_ap... -> it helps to understand SAF as arrows choosing the next action over a limited number of choices.
Selective Applicative Functors
blog.veritates.love
December 16, 2025 at 8:56 AM
Selective Applicative Functors (SAF) as "exclusive determined choice: blog.veritates.love/selective_ap... -> it helps to understand SAF as arrows choosing the next action over a limited number of choices.
Traversals are the optics for applicative functors, but is there an optic for alternative functors?
forall f. (Alternative f) => (a -> f b) -> s -> f t
forall f. (Alternative f) => (a -> f b) -> s -> f t
January 28, 2025 at 3:52 PM
Traversals are the optics for applicative functors, but is there an optic for alternative functors?
forall f. (Alternative f) => (a -> f b) -> s -> f t
forall f. (Alternative f) => (a -> f b) -> s -> f t
The best example out there is the `validation-selective` package flora.pm/packages/@ha...
December 16, 2025 at 1:48 PM
The best example out there is the `validation-selective` package flora.pm/packages/@ha...