An idea to consider: How about keeping the arbitrary-precision default, but add a loop' construct to the family of +',-',*',inc', and dec' for primitive optimization? The loop' construct would bind primitive literals, whereas the loop construct would keep the literals boxed, so people who don't want to analyze types rigorously in their loop/recur constructs won't get mismatch errors.
I see that using primitive literals by default in loop/recur offers speed benefits for the common case (recur type matches the loop-declared type), but I worry about how hard it might be to analyze and make sure that I'm always recurring with a type that exactly matches what is in the loop. Any other ideas on how to solve the problem of mismatch errors for "casual coders"? -- 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