Reseña de «Why Lean?»

El artículo «Why Lean?», de Leonardo de Moura, explica por qué Lean se ha convertido en una herramienta singular para verificación formal. Su característica más determinante es estar implementado en s

Vestigium

Just published a new version of my silly pipeline “syntax” mini-library for #JavaScript / #TypeScript, which fixes some nagging type inference issues.

The thing lets you write `firstFn(data).into(otherFn)`, which is the closest to a `|>` operator we might get.

https://github.com/agj/dot-into

#functionalprogramming

GitHub - agj/dot-into: Next best thing to a pipeline operator in JS and TS. ↪️

Next best thing to a pipeline operator in JS and TS. ↪️ - agj/dot-into

GitHub

Popularity isn’t everything. Some niche functional programming languages offer unique value!

Take a deep dive into Haskell, Scala, and Erlang in this article by Linux Professional Institute (LPI) Editor Andrew Oram: https://lpi.org/jyuw

[Disclaimer: This post contains an image generated using AI]

#FunctionalProgramming #Haskell #Scala #Erlang #OCaml #FSharp #ProgrammingLanguages

Dict Comprehensions vs Array Functions: The Ultimate Battle

Python dict comprehensions in ONE line vs PHP array functions! Which is more elegant? This will blow your mind!

#python #php #pythonvsphp #dictcomprehension #arrayfunctions #dictionaries #associativearrays #codecomparison #programmingcomparison #pythontricks #phptricks #functionalprogramming #programmingdebate #codingtips

https://www.youtube.com/watch?v=Y08Kk6RzsY4

Dict Comprehensions vs Array Functions: The Ultimate Battle #codingtips

YouTube
Combinators - TinyAPL

A combinator is a function or operator that only refers to its arguments and operands without modifying them in any way. Symbol APL expression Bird(1) TinyAPL Diagram I \mathrm I I y Identity ⊣/⊢ K \mathrm K K x Kestrel ⊣ κ \kappa κ y Kite ⊢ W \mathrm W W y F y Warbler ⍨ C \mathrm C C y F x Cardinal ⍨ B \mathrm B B F (G y) Bluebird ∘/⍤/⍥ Q \mathrm Q Q G (F y) Queer ⍛ B 1 {\mathrm B}_1 B1​ F (x G y) Blackbird ⍤ Ψ \Psi Ψ (G x) F (G y) Psi ⍥ S \mathrm S S y F (G y) Starling ⟜/⇽ Σ \Sigma Σ (F y) G y Violet Starling ⊸/⇾ D \mathrm D D x F (G y) Dove ∘/⟜ Δ \Delta Δ (F x) G y Zebra Dove ⍛/⊸ Φ \Phi Φ (F y) G (H y) Phoenix «» Φ 1 \Phi_1 Φ1​ (x F y) G (x H y) Pheasant «» D 2 {\mathrm D}_2 D2​ (F x) G (H y) Dovekie ⊸ + ⟜ P \mathrm P P (y G x) F (x G y) Parrot(2) ⸚ N \mathrm N N x F (x G y) Eastern Nicator ⇽ ν \mathrm \nu ν (x F y) G y Western Nicator ⇾ Additionally, some other primitives have combinator-like behavior: APL expression TinyAPL Diagram n ⍨ n ⍨ F y ⁖ x G y ⁖ Footnotes Some combinators have bird names, originating from To Mock a Mockingbird by Raymond Smullyan. Some of the bird names are taken from the Uiua combinator page. I made this one up.

Coeffects: Context-aware programming languages

Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

Generators in lone lisp

The lone lisp generators implementation journey.

Readings shared March 24, 2026

The readings shared in Bluesky on 24 March 2026 are: Synthetic differential geometry in Lean. ~ Riccardo Brasca, Gabriella Clemente. #LeanProver #ITP #Math The spectral comb and the Riemann hypothesi

Vestigium

📰 究極のマルチパラダイム次世代プログラミング言語Flix (👍 42)

🇬🇧 Flix: a next-gen language combining functional programming, logic programming, and algebraic effects to tackle complex problems beyond single parad...
🇰🇷 Flix: 함수형, 논리형, 대수적 효과를 결합한 차세대 언어. 단일 패러다임으론 어려운 복잡한 문제 해결.

🔗 https://zenn.dev/ababup1192/articles/cf73b13eae82da

#Flix #FunctionalProgramming #Zenn

究極のマルチパラダイム次世代プログラミング言語Flix

Zenn
Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. https://github.com/milesberry/liberator #Haskell #FunctionalProgramming
GitHub - milesberry/liberator: A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluate them live to see results.

A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluat...

GitHub