Post #3763270
2026-07-12 13:55 UTC
@zwarich@hachyderm.io @joe@f.duriansoftware.com @slava@mathstodon.xyz Yeah. Or maybe there's some lazily updated state that you can compute or something.
Replies (1)
-
@zwarich@hachyderm.io 2026-07-12 13:57
@foonathan@fosstodon.org @joe@f.duriansoftware.com @slava@mathstodon.xyz Yeah, I am actually surprised that more languages don't have more first-class support for "fields" that are logically caches of functions applied to other fields. Lean has something like this, but since it's a purely functional language it exists mostly to add optimizations to the code without reducing the ability to prove things about it.