Post #3030756
2026-06-01 18:50 UTC
@zwarich@hachyderm.io @joe@f.duriansoftware.com I guess I’m in the minority that likes the statement vs expression distinction. It creates a natural boundary for units of work in the type checker
Replies (1)
-
@jrose@social.belkadan.com 2026-06-01 18:57
@slava@mathstodon.xyz @zwarich@hachyderm.io @joe@f.duriansoftware.com I've been bitten too many times by "declarations produce unit" to believe everything is naturally an expression. I can generally live with "you can force everything to be an expression" though. (The big misstep was "loops do an implicit collect" but I think everyone's in agreement about that these days.)