[stack] SPREAD: another kid on the block
2013-05-11 21:36:09 GMT
Let me introduce a new (concatenative?) programming language called SPREAD. SPREAD has - what I believe - many properties that might interest you. SPREADs most exciting property is its 'retroactive' property, which means that: 1) values may keep a reference to the historical computation(s) that lead has led to themselves. Such history is called a trace. 2) traces (and traces of traces) can be rolled back, for instance when replacing 'historical' values with 'future' values. 3) a trace that is rolled back (and then slightly altered) can be re-evaluated, thus creating a new trace. Such web of traces most likely resembles a version control system where developers create branches, do merges, etc. In SPREAD, such version control is 'built-in'. But SPREAD has more desirable (programming language) properties: 1) Spreadsheet-like 2) Immutable 3) Declarative 4) Incremental 5) Reversible 6) Scaleable 7) Exception-less 8) Total (non-Turing complete) 9) Appealing (syntax) For me personally, postfix format is the most appealing and efficient syntax of all (I hope you all agree!). That's why every SPREAD expression is in postfix format (with one exception: concatenation).(Continue reading)
RSS Feed