On Jun 21, 2010, at 2:19 , Mark Engelberg wrote: > The arguments seem to be winding down, so I thought this would be a > good time to summarize my thoughts. > > My favorite option of those proposed is: > +, *, -, inc, dec auto-promote. > loop/recur is changed so that primitive bindings are boxed. > +',*',-',inc',dec' give error upon overflow. > A new construct, loop', is introduced that doesn't box primitives and > enforces recur with primitive upon penalty of error. +42
I find this is a very good summery and I about totally agree with it. I'd just like to add some 'next steps' or 'next goals' that would be good. it would be good if the auto promoting +, -, * ... would in the long run leave a long a long as long as it can (what I mean is that (+ long long) is again long as if it does not overflow, same for the other ops especially inc and dec (since used for counters. And at one point of things go on it'd be great if loop would become 'smart enough' to decide when boxing is necessary and when it can keep stuff in primitives for speedy things. If we put this as our goals we mostly don't need forced ' to switch between promoting and non promoting since it would be just working and would be just fast :) Regards, Heinz -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
