Editing Terminator vs. separator (section)

== Terminators are better ==

* The theoretical reason: In separator notations there is one comma less than the number of elements. An empty list would need -1 commas, which can't be written, obviously. That is, empty lists must always be handled differently in the separator approach. There is no such problem with terminators.
* The practical reason: In terminator notation, each list element is followed by the terminator symbol. Thus it is easier to reorder the elements of a list in an editor. If you have written <hask>(1:2:3:[])</hask> you can simply cut some elements and the subsequent ':' and then you can insert them whereever you want. If you place every element at a line then it is easy to disable individual lines with a line comment (starting with <hask>--</hask>). This formatting is also optimal for line oriented [[Darcs|version control systems]] and diff.