Re: Pure/deterministic functions, as values in the compiler

2013-06-28 Thread Chris Bilson
emporas writes: emporas writes: > Now that the practice of applying collision resistant hashes (ie > unique strings), to save multiple > versions of structures with the possibility of overlapping, is > becoming less deficient thanks to better > hardware, i am wondering if there is a compiler in

Re: Pure/deterministic functions, as values in the compiler

2013-06-26 Thread Kostas Pramatias
On Thu, Jun 27, 2013 at 3:04 AM, Gary Trakhman wrote: > The first thing I think of along these lines is codeq > http://blog.datomic.com/2012/10/codeq.html > Codeq seems very good for querying and manipulating the history of the project, but i was thinking along the lines of executing the whole h

Re: Pure/deterministic functions, as values in the compiler

2013-06-26 Thread Gary Trakhman
The first thing I think of along these lines is codeq http://blog.datomic.com/2012/10/codeq.html When I first heard about it, I thought it might have potential for code reuse and whole-program optimization. If you've ever imported something that causes irrelevant classes to take up space in your