You make it sound a bit like this was a working solution already, while it
seems to be a prototype at best, they are collecting funding right now:
http://www.kickstarter.com/projects/306316578/light-table.
I would love to be proven wrong, but I think given the state of the
project, many people
I'm pretty much in agreement with you about all your points. I just thought it
was worth a look, as I said.
Julian
On 24/04/2012, at 5:50 PM, Jarek Rzeszótko wrote:
You make it sound a bit like this was a working solution already, while it
seems to be a prototype at best, they are
On Tue, Apr 24, 2012 at 12:32 PM, Jarek Rzeszótko jrzeszo...@gmail.comwrote:
On the other hand, *Those who cannot remember the past are condemned to
repeat it.*
Or perhaps, *It's critical to recover, reimagine, and communicate the great
ideas past before they are completely forgotten*
*
*
Benjamin Pierce et al did some work on bidirectional computation. The
premise is to work with bidirectional transformations (which they call
lenses) rather than (unidirectional) functions. They took a stab at
identifying some primitives, and showing how they would work in some
applications. Of
(Hi Toby)
And don't forget that John McCarthy was one of the very first to try to
automatically compute inverses of functions (this grew out of his PhD work at
Princeton in the mid-50s ...)
Cheers,
Alan
From: Toby Schachman t...@alum.mit.edu
To:
Many thanks everyone, one more good resource I found is this paper by David
Eppstein attempting to do automatic inversion of simple Lisp functions:
http://www.ics.uci.edu/~eppstein/pubs/Epp-IJCAI-85.pdf
Gives a good overview of other work as well and sheds some light on the
difficulties involved
Some interesting stuff there, Toby Schachman. I agree that bidirectional
computation and `causally agnostic` computation are both quite valuable.
I've been playing with such models myself, i.e. stable stateless models for
greater resilience and robustness and partitioning tolerance [2].
FYI: at last week's Scala Days there was a talk about Asymmetric Lenses in
Scala; these are unidirectional.
http://skillsmatter.com/podcast/scala/asymmetric-lenses-scala
Op 24 apr. 2012, om 18:48 heeft Toby Schachman het volgende geschreven:
Benjamin Pierce et al did some work on bidirectional
