|
|
|
|
|
|
by Peaker
4948 days ago
|
|
|
Programs are more than just algorithms, they are also documentation of that algorithm. Sometimes they also describe checked invariants of the execution of that algorithm (types). There's probably a lot more to say about programs that doesn't fit within the "just algorithm" view. |
|
|