104

In this letter, Dijkstra talks about readability and maintainability in a time where those topics were rarely talked about (1968). This letter was one of the main causes why modern programmers don't have to trouble themselves with goto statements. Older languages like Java and C# still have a (discouraged) goto statement, because they (mindlessly) copied it from C, which (mindlessly) copied it from Assembly, but more modern languages like Swift and Kotlin don't even have a goto statement anymore.

you are viewing a single comment's thread
view the rest of the comments
[-] Deebster@programming.dev 14 points 5 months ago* (last edited 5 months ago)

For such an influential letter, I don't find his arguement all that compelling. I agree that not using go to will often lead to better structured (and more maintainable) programs, but I don't find his metric of "indexable process progress" to satisfyingly explain why that is.

Perhaps it's because at that time people would be running the programs in their heads before submitting them for processing, so they tended to use more of a computer scientist mindset - whereas now we're more likely to use test cases to convince ourselves that code is correct.

[-] Kissaki@programming.dev 8 points 5 months ago

I think it's convoluted way to describe it. Very technically-practical. I agree it's probably because of historical context.

The argument I read out of it is that using goto breaks you being able to read and follow the code logic/run-logic. Which I agree with.

Functions are similar jumps, but with the inclusion of a call stack, you can traverse and follow them.

I think we could add a goto stack / include goto jumps in the call stack though? It's not named though, so the stack is an index you only understand when you look at the code lines and match goto targets.

I disagree with unit tests replacing readability. Being able to read and follow code is central to maintainability, to readability and debug-ability. Those are still central to development and maintenance even if you make use of unit tests.

[-] Deebster@programming.dev 4 points 5 months ago* (last edited 5 months ago)

I wasn't saying that unit tests replaces readability, I was saying that back in the 60s they'd reason and debug using their brains (and maybe pen and paper), with more use of things like formal proofs for correctness. Now that we write more complicated programs in more powerful environments, it's rare to do this (we'd use breakpoints, unit tests, fuzzing, etc).

[-] atzanteol@sh.itjust.works 7 points 5 months ago* (last edited 5 months ago)

Perhaps it’s because at that time people would be running the programs in their heads before submitting them for processing, so they tended to use more of a computer scientist mindset - whereas now we’re more likely to use test cases to convince ourselves that code is correct.

This is 1968. You didn't have an IDE or debugger. Your editor was likely pretty terrible too (if you had one). You may have still been using punch cards. It's possible the only output you got from your program was printed on green-bar paper.

"Back in the day" it wasn't uncommon to sit with a printout of your code and manually walk though it keeping state with a pencil. Being able to keep track of things in your head was very important.

GOTO existed in part for performance purposes. When your CPU clock is measured in megahertz, your RAM is measured in kilobytes and your compilers don't do function in-lining it's quicker and cheaper to just move the program pointer than it is to push a bunch of variables on a stack and jump to another location, then pop things off the stack when you're done (especially if you're calling your function inside a loop). Even when I was programming back in the '80s there was a sense that "function calls can be expensive". It wasn't uncommon then to manually un-roll loops or in-line code. Compilers are much more sophisticated today and CPUs are so much faster that 99% of the time you don't need to think about now.

Oddly enough the arguments against GOTO are less important today as we have much better development tools available to us. Though I certainly won't recommend it over better flow-control structures.

[-] 0x0@programming.dev 3 points 5 months ago

When your CPU clock is measured in megahertz, your RAM is measured in kilobytes

Ah yes, the good ol' days when developers programmed for efficiency.

[-] atzanteol@sh.itjust.works 3 points 5 months ago

Mostly because they had to. Writing efficient code and easy-to-read code are often at odds with each other. I like being able to create lots of functions that can be called from a loop without needing to worry too much about function call overhead. I can prioritize readability for some time before I ever need to worry about performance.

[-] 0x0@programming.dev 1 points 5 months ago

I get that but it seems as though no one cares at all about efficiency these days.

[-] atzanteol@sh.itjust.works 2 points 5 months ago

People have been complaining about this exact thing forever. Even back when "people cared about efficiency".

[-] BatmanAoD@programming.dev 1 points 5 months ago

Does the catchphrase "blazing fast" ring any bells? Some people care.

(Arguably that's just the pendulum swinging the other way; Ruby, Python, and Java ruled the software world for a while, and I think that's a large part of why the Go and Rust communities make such a big deal about speed.)

this post was submitted on 19 May 2024
104 points (97.3% liked)

Programming

17314 readers
141 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 1 year ago
MODERATORS