logoalt Hacker News

bear8642today at 2:46 PM1 replyview on HN

How so?

I'm struggling to see how Roger's manipulation of the expressions without executing each line validates Dijkstra's point...


Replies

empath75today at 3:19 PM

"This is easy to understand, see:"

5 lines of completely inscrutable symbols follow.

If you are expecting someone to learn a completely new notational language before you can communicate a basic algorithm, you have gone wrong somewhere.

You could also similarly write down merge sort in pure lambda calculus, which is interesting as an exercise, but not especially useful as working code, or as a way to explain how merge sort works.