The short version
Functional language and theorem prover picked as an APL successor.
From the HackerLinks archive
Lean 4
Functional language and theorem prover picked as an APL successor.
At a glance:
First seen:2026-05-14
Last seen:2026-05-14
Times seen:1
Website:lean-lang.org
Why it caught our attention
One commenter said they settled on Lean 4 as the successor language for their needs.
Where it surfaced on Hacker News
2026-05-14
Editorial paraphrase
In the APL thread, a commenter called Lean 4 the 'best language in existence' for their use case.
Original threadSaying Goodbye to one line of APL
Also surfaced in this discussion
Dyalog APL
Saying Goodbye to one line of APL
2026-05-14