Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
giberson
on Jan 25, 2012
|
parent
|
context
|
favorite
| on:
I want to fix programming
>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
on Jan 26, 2012
[–]
What 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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
>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. ... such that sorted(l) is true. >Then let the output of the program be the list l You've changed the wording and grammar, but you haven't stated anything different.