When are we going to stop writing code?

http://plsadventures.blogspot.com/2009/08/when-are-we-going-to-stop-writing-code.html

by gdp • 17 years ago

7 33 17 years ago

plsadventures.blogspot.com

philwelch9• 17 years ago

"I believe it is very nearly within our reach to stop writing software and start specifying software instead. Write the specification, press a button and have a full implementation that is mathematically guaranteed to implement your specification."

Well, we'd have to write that specification in some sort of consistent formal language. What kind of computer program converts a program specified in formal language into an executable program? Oh, right--a compiler.

The most generous I can get here is to suppose he's advocating a declarative high-level programming language. But that wouldn't be nearly as interesting to write an essay about, so let's pretend that your declarative, high-level "specification" language means "no more writing code". Either that, or he honestly believes you can write a compiler for English. But given how most specs are written, I would be even more fearful of the output of an English compiler. So you have to use a formally specified language--oh wait, that's coding again.

krakensden• 17 years ago

The worst part is that he seems to think this is a novel idea.

gdp5• 17 years ago

Who said anything about novelty? Referring to tools that do most of what is described seems to negate any claims of novelty.

gdp5• 17 years ago

Sure, the distinction between writing specification and writing code is pretty artificial. A specification may be incomplete or ambiguous. Through stepwise refinement, multiple (formal) steps are taken towards a more concrete implementation, which eventually might result in an efficient implementation capable of being executed. None of this is really new, and I think the differences between a "program" and a "specification" are reasonably well understood in most contexts. Tools already exist to do these sorts of things, they are just restricted to certain problem domains where the expense and overhead are justifiable for the extra safety guarantees.

Also, I think you're jumping way back into coder-world by talking about declarative high level languages. Sure, that might be one way of achieving the stated goals (and indeed, many have gone down that path!) however specifications can come in many shapes and sizes. The idea is to reduce the number of abstractions which the programmer must hold in his or her head in order to write programs. The ability to construct ambiguous, incomplete specifications that can be interacted with or validated before anything resembling an executable specification comes about is beneficial in many circumstances, particularly when you are talking about concurrent or distributed systems.

Basically what I'm saying is that a specification provides only some of the information required to construct an executable program, and may abstract away specific behavioural information until much later into some refinement process. A "program", as such, does not, and by its nature contains a description of exactly all the behaviour that can be exhibited by execution of said program.

philwelch9• 17 years ago

"Also, I think you're jumping way back into coder-world by talking about declarative high level languages."

Not really--"specifications" are usually understood to be expressed in declarative English, and any sort of "specification" that can be programatically translated into a program would simply be high level source code.

I'm not against writing specs, I'm simply saying "a spec that can be compiled is code".

extension3• 17 years ago

On somewhat of a tangent, consider a specification such as "sort a list of numbers". After adding a few minor details, this could be an entirely formal and unambiguous specification, yet implementation would require (disregarding prior art) an informal creative process involving significant leaps of intuition.

It seems to me that a formal spec need only provide a method of verification and is therefor distinct from the solution, though it's no surprise that the distinction goes unnoticed in our industry, given the dearth of both specs and difficult algorithmic problems.

philwelch9• 17 years ago

But we can already turn "sort a list of numbers" into a program, although instead of "sort a list of numbers", it's called sort() and takes a list of numbers as an argument. By this standard, most programs are closer to specs than they are to solutions--a testament to the abstractions we already have.

kenshi• 17 years ago

I was listening to an interesting interview with Dustin Nguyen, a comics artist yesterday. He had a background in CAD work, and for a long time had a pet project of creating locations for scenes in a CAD package. The idea being he and his co-workers would be able to save a load of time when drawing the art, because they could just use rendered backgrounds.

He mentioned this idea to his boss (famed comics artist Jim Lee) who apparently just said: "Why? Drawing is fun,".

And to this idea of automatically generating code from some formal spec, I can't help but think: "Why? Programming is fun,"

Sure no one likes tedious, rote programming. I especially don't like the kind of tedious typing statically typed languages tend to require you to write. But if you aren't finding the art of programming fun... I think you are in the wrong line of work.

For any interested parties, the interview with Nguyen was from episode 91 of the Sidebar podcasts - http://www.sidebarnation.com/

gdp5• 17 years ago

Problem solving is fun, and programming is a convenient way to access a large class of problems and express solutions to them. When the problem solving bit is done, the rest is just typing. I'd rather spend more time solving interesting problems and less time typing.

Not to mention that I am likely to make mistakes while I'm typing up my solution. I'd rather not have to waste time chasing errors I've made that could have been avoided. Instead, I would rather spend time fixing errors in my solutions to problems, or looking for even better solutions.

CamperBob3• 17 years ago

It's ironic that we've used computers to attack problems and improve processes in virtually every aspect of life except writing computer programs. The process of programming still looks pretty much the same as it did in Grace Hopper's day. I agree with the author: that's just stupid.

The question remains, though: what do we do about it?

tl• 17 years ago

When Grace Hopper was programming your choices involved Assembly, FORTRAN and COBOL. Yes, we still have to write code, but 10 lines of Python / Ruby / Lisp / etc... do the work of 100 lines for FORTRAN or 1000 lines of Assembly. I'll call that an "improved process."

CamperBob3• 17 years ago

No, that's an incremental improvement. All we're doing is writing fewer lines of the same damned procedural code.

We didn't replace our horse and buggy with a car, we put some Tri-Flow on the bearings and meth in the feed bag and called it a day.

tocomment• 17 years ago

I notice the majority of my corporate programming job lately is just connecting things. Take data out of a table, show it on the screen, take data from the user, put it in the table, Take someone's library, put my values into the function calls.

It seems like there should be a way for things to "connect" themselves. Eh, just thinking aloud I guess.

adbachman• 17 years ago

"When someone says 'I want a programming language in which I need only say what I wish done,' give him a lollipop. " - Alan J Perlis

from the article:

> Compilers, on the other hand, are generally very good. I have a high degree of confidence in most of the compilers I use. Sure, there are occasional bugs, but as long as you're not doing safety-critical development, most compilers are perfectly acceptable.

Which is the same reason that we use Rails, Django, or Cake, etc. We're not doing safety critical development, we're writing CMSes and blogs. This isn't rocket science, but it is code someone will pay for. So why not do it in the most comfortable and convenient way currently possible?

It's not necessary for the carpenter to be an expert on the design and manufacture of power tools. Knowing the tools they use, however, will improve the quality of their work.

Similarly, the quality of my work as a programmer will improve as I grow into my tools, knowing their uses and imperfections. It is not necessary for me to be constantly focused on how imperfect they are and how I should be building better tools instead of using the ones I have. Along the lines of kenshi's comment: why are people upset that I am enjoying myself and taking pride in my work? I recognize the limits of my tools and I am comfortable with their being limited.

nuweborder4• 17 years ago

Continuing to write code, allows the profession itself to continue to be looked at as a commodity. It keeps people in jobs, and unfortunately keeps many creative thinkers out of the loop. As it is, only programmers can write code effectively enought to produce innovative web sites and therefore, web companies that reinvent the web as we know it, and produce masses of wealth. If we did not use code, not only could we be more efficient with producing these websites, becasue we would not be also producing even greater code errors, and via numerous different types of code that are all used for different things and are not designed to work well together, becasue the programmer wants to keep a monopoly on it, but all creative thinkers that have brilliant ideas on how to utilize software and the web to better the world, and the worlds of business and technology, will be also to contribute their ideas. The bottom line is that tyically, the most creative people are those whom are natural artists. But these artists arenot techies, and therefore cannot translate their creative ideas to the web or software without including the mind of a programmer. This goes for anyone with a great idea. If you have a great idea for software or the web, but then partner with a programmer to carryout your ideas. Make sure you stay on top of your game. Because just like when a story gets passed along through many people, when your idea gets translated into code from someone else, there is a lot of room for error and distortion. Just as it is when a programmer is forced to deal with numerous different programming languages just to express what they want to create. Errors occur. As youtube and digg have both cut out the middleman in video media and news, and allow the consumer to make the choice as to what they like, why not cut out the middle man(main stream media, or programming), and allow all creative people to build and create without code, but via a universal point and click type program? Let the creation come directly from the source. Until we the consumers, and the creative thinkers demand this, we will never stop writing code.

laut• 17 years ago

Good programmers are creative thinkers.

"Middle men" are usually doing something of value otherwise there wouldn't be a need for them, and they wouldn't be around.

It's not because of a conspiracy that programmers are needed. You could use a "point and click type program", but they just don't work that well. And programming via a visual tool instead of writing code by tapping on a keyboard doesn't change the fact that you are programming.

nuweborder4• 17 years ago

That's the point. Can we develop a program that is more efficient and effective than the present point and click programs? I know this wont change the fact that programming technically is going on. The point of the original question is, can we accomplish this without code? Not without programming. Think bigger. Can you program without code? Or atleast without code on the front end (i.e. Dreamweaver). But in a much better, more effective and dynamic way. Think about it. Programming was originally done on a black screen with green typing, and no mouse. We've improved the technology greatly. Why can't it be improved upon even more, or increase productivity, and ease of use? Check out http://www.yola.com, http://www.wix.com, http://www.weebly.com, or the new http://flooha.com/. They all have the right idea, just need to take it to new heights. Automate the code on the backend, for many to be able to focus on being creative on the front end as they see fit to their site liking and their own vision.

philwelch9• 17 years ago

You're saying programmers aren't creative people. I disagree--programmers, like good musicians, are intensely creative people with a remarkable degree of technical ability. "allow all creative people to build and create without code"? That's like saying "allow all creative people to play songs and paint beautiful landscapes without having to strum guitar strings or wave paintbrushes around". And as it turns out, that's possible--you can play other instruments, or draw with computer rendering tools, if you don't mind a slightly tone or a different "look", and still end up with good art. But good art is hard in and of itself.

Knowing how to express an idea in code is easy. It's easier as languages get more high-level but it's easy enough now. But knowing what ideas to express, and having ideas that are consistent enough, have the right tonality and the right balance and the right leanness to express, is the difficult part. Playing piano is about knowing what keys to hit, not how to hit the keys. Same with programming. If your fingers are too short, slow, and fat to play the piano, play trumpet. If the incidental parts of one programming language are difficult or useless to you, use another.

nuweborder4• 17 years ago

Programmers are definately creative and very skilled. What I mean is that there is often something lost in translation anytime you take a creative idea from one person to another, just as happens when a story is told. In my opinion, programming language needs itself, can hinder the creative ideas of many whom do not know programming, and do not have time to learn it all. By the time they take valuable years to learn, their idea is lost in translation and is now old. If that person could have developed their idea without code, we'd have much greater choice in creative sites and software because the process of creation is easier. Its the same as how YouTube has allowed millions to upload their own videos and choose whats important and interesting, or how Digg has allowed users to choose what news is of relevance. In this case, am I saying that mainstream media professionals are not cretive? No. But that's exactly what these two companies have done. They have cut newpaper companies and mainstream broadcasters out, and allowed the user to be creative and broadcast and post directly to other users. Thats what having a program that would allow non programmers to create would offer. Because of YouTube and Digg, we as individual online users, are able to see and experience a much greate variety of entertainment and relevant information chosen upon by our peers and not those that control media, and allows many creative people that are not typical movie stars, music artists or celebrities, to become well known, famous and express themselves and their ideas directly to the masses, without the mainstream media controllers (or programmers), and with absolutely nothing lost in translation. We should treat programming the same as we are not treating web 2.0. How can we push a true web 2.0, with the main aspect of the building of these sites still functioning as web 0.0? Programmers are great and creative. And presently, without them, there would be not web, and my companywould not exist, and nor would google, digg, youtube, or any other site. I work directly with my programmer for my startup daily. But if this was in place, it would help to harbor much creater creativity because everyone could get involved directly.

vicaya• 17 years ago

Once singularity is reached, our code will write themselves. We'll just sit back and enjoy a latte/beer/whatever.

plinkplonk• 17 years ago

Talk about stupid ideas. This illusion has been out there for a while and infects non programmers. I am almost tempted to post a "don't feed the troll" ascii art pciture

When are we going to stop writing code?

Related Stories