February 18th, 2025

Append-Only Programming

Ian Fisher's append-only programming methodology adds code to a single C file without editing, promoting clear interfaces and small functions, but complicating error correction and maintenance. Modifications are suggested for practicality.

Read original articleLink Icon
Append-Only Programming

Ian Fisher introduces a novel software development methodology called append-only programming, where all code is added to a single C file without the ability to edit existing code. This approach encourages programmers to define interfaces before implementations, promotes the writing of small functions, and enhances code readability by reflecting the programmer's thought process. However, it presents challenges, such as the need to append corrections for erroneous subprocedures and the potential requirement to retype entire programs. Fisher uses shell commands to enforce the append-only rules, but he acknowledges that this method is more of a fun challenge than a practical coding strategy. He reflects on the difficulties of maintaining and troubleshooting code under this paradigm, noting that it can become tedious. While he initially aimed to write programs incrementally, he found that real coding often requires revisiting and revising earlier functions, which append-only programming complicates. Fisher concludes that while the experiment was interesting, it may not be worth repeating in its original form. He suggests modifications, such as creating a header file for declarations and splitting functions into separate files, to maintain the spirit of append-only programming while reducing monotony.

- Append-only programming involves adding code to a single C file without editing existing code.

- The methodology promotes clear interface definitions and small functions but complicates error correction.

- Fisher uses shell commands to maintain the append-only structure but finds it impractical for real coding.

- The approach can lead to tedious retyping and troubleshooting challenges.

- Suggested modifications include using header files and splitting functions into separate files for easier management.

Link Icon 27 comments
By @ithkuil - 3 months
The unison programming language (https://www.unison-lang.org/) follows a similar idea. Functions have immutable IDs and "modifying'" a function involves creating a new function and all the callers that need to be updated to use this new function they also in turn become a new function and this bubbles up to the top. All this is assisted via tooling.

The unison language ecosystem leverages that property to implement distributed computation where the code can be shipped to remote workers in a very fine grained way, but I guess this building block can be used for other ideas (I don't know, didn't quite put my mind into it but sounds very interesting)

By @fjfaase - 3 months
Interesting approach. A bit similar to 'test && commit || revert' (TCR) as done by Kent Beck.

I kind of doing this with my AoC with my literary programming approach where I add only code to the markdown file that is then processed by the MarkDownC program [1], which takes all the C fragments in de markdown file and puts them in the right order to be compilable, overwriting earlier definitions of functions and variables. So, each markdown file, one per day [2], shows all the steps how I arrived at the solution. I do use a normal editor and use copy-and-paste a lot when making new versions of a certain function.

[1] https://github.com/FransFaase/IParse/?tab=readme-ov-file#mar...

[2] https://github.com/FransFaase/AdventOfCode2024/blob/main/Day...

By @userbinator - 3 months
and you often discover, in the middle of writing your low-level functions, that your high-level functions need to be revised, which append-only programming makes difficult

On the other hand, it's not a problem if you start bottom-up, which is a natural style when writing in C; the low-level functions are at the top (and the standard headers included at the very top can be thought of as a sort of lowest-level), while main() is at the bottom.

By @justanotheratom - 3 months
I have a slightly different approach. Quoting my tweet:

"Once @cognition_labs AI Engineer Devin gets good enough, I will have it implement each feature as a series of Pull Requests: - One or more Refactoring PRs - modify structure of existing code but no behavioral change. - A final PR which is "append only" code - no structural change, only behavioral."

https://x.com/realsanketp/status/1879766736742092938

By @antithesis-nl - 3 months
Nice as a thought experiment, but you actually do get this in real life as well, when maintaining a public API with a large user base (where even the details of the internal workings need to be frozen over time.)

Gives you lovely stuff like the Win32 API (introduced in 1993 and still very much a thing!). CreateWindow, CreateWindowEx, CreateWindowExEx (OK, I made that up...), structs with a load-bearing length field, etc. etc. And read some Raymond Chen on the abuse that customers inflict on the more 'private' stuff...

By @Agraillo - 3 months
Very interesting also as a thought-provoking idea. For example

  - It would be less challenging if function pointers variables are used instead of function. In this case, the code appended later may override the function variables it needs to fix/change

  - Since all the code is there, it is possible to invent some convention to compile/run previous versions without CVS machinery
By @DuMOHsmol - 3 months
Just an aside: I really like the design of this blog: it's very clean and the text is black on white. It's kinda shocking how many websites disregard basic accessibility rules about contrast and make text light gray.
By @globular-toast - 3 months
Gerald Sussman (of MIT/SICP fame) has written and spoken a lot about practical ways of achieving this kind of thing. The idea is when new features are added to software you only have to write new code, not change the existing code (and, likewise, removing features is only deleting code). Having a well-defined process that allowed this kind of software development in a practical way is the dream really.
By @aa-jv - 3 months
Back in the days when having your own tape reel for storing code was a thing (an upgrade from punch-cards), we used to do this .. write the first version of the code, stream it to tape, enhance the code some more, produce a diff, write the diff to tape, and on and .. on and on .. such that, to restore a working copy of a codebase, we'd rewind the tape "sync;sync;sync" and then progressively apply every diff as it was loaded from the stream. Every few months or so, we'd rewind the tape and stream the updated code to the front of it, and repeat the process again .. it was kind of fun to think that the whole tape had a working history.

These days of course we just use git, but there was a day that we could see the progress of a codebase by watching the diffs as they streamed in off the reels ..

By @2mlWQbCK - 3 months
I have played around a lot with GW-BASIC (and pcbasic (pip install pcbasic)) lately and this strikes me as something that could be made to work very well with old BASIC variants using line-numbers, since when the interpreter sees a new line with the same number as an existing line it will overwrite the old line. Tried this in a text file:

   10 print "helo"
   20 print "world"
   10 print "hello"
Worked as expected in both GW-BASIC 1.0 and pcbasic, printing "hello\nworld". Listing the program after loading it only shows the modified line 10.

A bit awkward since the BASIC editor/REPL itself can not be used. It would work for writing BASIC using a regular text editor and then just running it with BASIC as an interpreter.

By @samsquire - 3 months
If you have a large body of existing code and you want to change its behaviour, you have to work out where to add your change, without breaking what already is there.

My thoughts in this is to somehow create a system where additional rules or changes to behaviour have marginal cost.

I am interested in the Rete algorithm, a rule engine algorithm. But we could run this sort of thing at compile time to wire up system architecture.

Boilerplate or configuration is an enormous part of programming and I feel there really could be more tools to transform software architecture.

By @Joker_vD - 3 months
So... it's literally the open-closed principle, in its straw-man form? Where you actually can't change the old code but can only write new?

Well, it's ridiculous. IMO, of course but... seriously. One of the greatest (and even joyful) things about being a software developer is that you can change old code. Literally go there, rewrite things, and end up with a new version of code (which is presumably better in some respect).

By @nasretdinov - 3 months
All bugs in the program automatically become features too!
By @gnulinux - 3 months
I'm personally very sympathetic and interested in avant-garde, experimental software development methods like this. I understand that most devs reading this is mortified and doubt about my sanity, but I do unironically use extremely, stupidly limiting techniques like this. For example, in my current project (working on an automated theorem prover) I have this rule that development happens in epochs. I write code in file theorem_prover_v1.rs, I run some unittests, run some tests, take notes. Copy the file to theorem_prover_v2.rs and attempt to rewrite the whole thing based on the previous form. Every line is critically examined. As many lines are attempted to be modified as possible. Do we need this type? Is this mathematically sound? Can I really justify that this abstraction is necessary? [1] It's an extremely inefficient and slow process, but a lot of software engineers don't appreciate that development efficiency--although usually among the most important factors of the success of the project--it's not necessarily the only important factor for all projects, and it is worth experimenting with methods that are intentionally inefficient but has promise to improve something else. You don't like it, you can always go back to Agile or whatever else you do at your day job.

Art progresses with extreme restrictions. The same way Schoenberg put seemingly absurd restrictions in his music ((very roughly) don't repeat the same note before playing every other note etc...) to create something radically novel, we as software developers can do so to advance our art as well.

[1] This method is the anti-thesis of the common "never rewrite a working program" software development methodology. Here, the experiment is to see what happens if we always rewrite, and never add or modify, i.e. refactors are never allowed, instead if things need changing we need to re-design the whole thing top-bottom with the new understanding.

By @tobr - 3 months
I believe this approach was pioneered in CSS.
By @refset - 3 months
David Harel, the creator of statecharts, also developed the Behavioral Programming [0] 'b-thread' model motivated by a similar vision for append-only programming - it has been discussed on HN previously e.g. https://news.ycombinator.com/item?id=42060215

[0] https://cacm.acm.org/research/behavioral-programming/

By @DeathArrow - 3 months
It's like having one hand tied and typing code with the other hand. The using just four fingers. Then three.
By @aitchnyu - 3 months
I've seen it in database schemas since so many colleagues treat ALTER TABLE as black magic. In one example, there is a crud app with projects and then later another table with one to one mapping to projects. Of course there are integrity problems and N+1s.
By @pengaru - 3 months
What software has this person written that warrants giving a damn what they have to say about programming?

Anyone telling me to write software using `cat >> foo.c` better come with some receipts.

By @jemmyw - 3 months
I thought it would be about LLMs doing coding because they often just start over and add more code rather than editing existing code
By @_glass - 3 months
this is a fun exercise. but I saw it a lot of times in big companies where people are too afraid to make changes. where also the open-closed principle comes from. something I don't like anymore in practice. because one has to get away from the fear of breaking things to maintain clean code, and clean architecture.
By @_kb - 3 months
This is a great paradigm to pair with a suicide linux dev env.
By @acc_297 - 3 months
I wondered if this might be a joke about ethereum
By @lerp-io - 3 months
people unironically thinking this is a good idea
By @stevage - 3 months
>And it produces source code that is eminently readable, because the text of the program recapitulates your train of thought – a kind of stream-of-consciousness literate programming.

Sorry, but what? This does not make any sense.

By @aghilmort - 3 months
log coding

like LLMs

very cool