5 ms·
No. You're thinking imperatively. The pure form would express something like: "given the property sorted(s) defined in this way, let s be a set such that for al
by aphyr 15y ago
No. You're thinking imperatively. The pure form would express something like: "given the property sorted(s) defined in this way, let s be a set such that for all elements e of s, e is an element of the program input. Then let the output of the program be the list l such that sorted(l) is true.
- giberson 15y ago>No. You're thinking imperatively. The pure form would express something like: >given the property sorted(s) defined in this way "Prompt SET" >let s be a set such that for all elements e of s, e is an element of the program input. ... such that sorted(l) is true. "SORT SET" >Then let the output of the program be the list l Display SET. You've changed the wording and grammar, but you haven't stated anything different.
- aphyr 15y agoWhat I'm pointing out is that "steps" are arbitrary; they're not intrinsic properties of the system. You can express the entire program as a definition tree without ordered expressions.