> The lambda the ultimate comments are turning into a bit of a liveness
turfwar.
http://lambda-the-ultimate.org/node/4715
Thanks for this reference.
Al
On Fri, Apr 12, 2013 at 1:48 PM, alex <alex_at_lurk.org> wrote:
> On 9 April 2013 11:27, Ross Bencina <rossb-lists_at_audiomulch.com> wrote:
> > "time-separable programming" vs "non-time-separable programming" perhaps?
> >
> > What are the options for injecting time back in? Seems like that got
> thrown
> > out when Alonzo showed up. And monads just treat it like a bag on the
> side.
>
> I wasn't really thinking in terms of modelling time in a program, but
> recognising that computer programming can be a form of use. That is,
> the timeline in which a program is written can be the same time in
> which it is used. This does mean that timestamps in revision control
> systems are relevant to execution too, so I guess then the RCS ends up
> being part of the model of time.
>
> The lambda the ultimate comments are turning into a bit of a liveness
> turfwar. http://lambda-the-ultimate.org/node/4715
>
> alex
>
> --
> http://yaxu.org/
>
>
Received on Fri Apr 12 2013 - 17:55:37 BST