"David Nolen" <dnolen.li...@gmail.com> wrote: >On Sun, Jun 20, 2010 at 8:19 PM, Mark Engelberg ><mark.engelb...@gmail.com>wrote: > >> 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. > > >Until the discussion on loop/recur I was ok with fast math taking '. But now >that I see that people are proposing to change the behavior of loop/recur >(in way I that think is inconsistent with the behavior of literals under the >equal branch). I'm now firmly on the side that people who want >auto-promotion should use '.
The ' (prime) names are mnemonic for "primitive type" math. That doesn't work if you reverse the meanings. In that case the names would be better with something like do + - * / ++ -- (or maybe 1+ 1- or +1 -1 though that requires tweaking the definition of symbol) for primitive math and loop add sub mul div inc dec for boxed math. -- Sent from my Android phone with K-9 Mail. Please excuse my brevity. -- 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