Post #1674810
2026-04-25 22:15 UTC
(out of thinking: I love the idea of enforcing linguistic changes from the programmer's vocabulary, especially the "no anthropomorphism" one, because a program don't think, nor does he see, or waits, etc)
Replies (1)
-
@nico@mastodon.puffer.fish 2026-04-25 22:18
"Another way of saying the same thing is the following one. A programming language, with its formal syntax and with the proof rules that define its semantics, is a formal system for which program execution provides only a model. It is well-known that formal systems should be dealt with in their own right, and not in terms of a specific model. And, again, the corollary is that we should reason about programs without even mentioning their possible "behaviours"." (from the same note)