I have an idea: build a language that can run backwards
(please tell me if it's stupid)
- Track: Declarative and Minimalistic Computing devroom
- Room: K.3.201
- Day: Saturday
- Start: 18:10
- End: 18:30
- Video only: k3201
- Chat: Join the conversation!
In an ongoing search for new programming metaphors I have devised a tiny language called Zarkov. Its proof-of-concept has been implemented in Javascript and allows for basic maths to be performed in either direction, i.e. forward and reverse. So, should you get a error, you can simply invoke the .back() method on the program object and the steps revert allowing you to see how/why it reached that state.
The PoC is essential a way of handling UNDO and REDO in terms that represent a programming language, rather than an application.
But is it useful? Has it been done? How does LISP already do this? (Because LISP can do anything, right!? :)
After a (mercifully!) short presentation, the floor is opened to see if the idea has merit or prior art, and whether it's worth pursuing.
Speakers
Steven Goodwin |