Re:Pony: An actor-model, capabilities-secure, high-performan...
by yuppiemephisto on Tuesday July 29, 2025 @04:42PM
(#44728038)
Lean 4 truly lets you mathematically reason about code and has metaprogramming that truly makes syntax a surface thing, but if anything people who know this have the taste to want better syntax
That appears to be your position (and maybe even that of a majority of developers), but it apparently isn't the position of the Pony developers. If you have a language in which you can mathematically reason about code (which Pony claims very prominently), then surface concerns such as syntax seem to matter less.
It's a different design goal and it feels like many people in the comments here don't appreciate that.