Yes, you're right. I wasn't suggesting that someone without an understanding of static types in general or Java types in particular would be liable to write *unsafe* code. I was saying that he or she might be prone to writing code that produces runtime exceptions, and that these exceptions might not appear right away but rather only with certain runtime inputs. To me, correct code is code that isn't liable to produce unexpected exceptions.
So, my own preference, for myself and also for those to whom I am likely to introduce Clojure, is always to have a fully auto-promoting and arbitrary-precision numerical stack by default, with optimizing operations as an option. I would be perfectly happy, however, if the decision went the other way. (What's a prime symbol among friends?) On Sun, Jun 20, 2010 at 2:07 PM, Luke VanderHart <luke.vanderh...@gmail.com>wrote: > As Rich has mentioned a couple times, though, let's be careful not to > conflate "bounded integers" with "unsafe integers." In the proposed > system, an overflowing number would throw an exception. Presumably the > documentation would make it very clear what the behavior of numbers > is. That's not unsafe or unexpected in any way, even for a dynamic > language, it's just different. > > The only thing that sends shivers down my spine is *requiring* > knowledge of casting and type hinting. I don't think that's > appropriate to demand of someone new to Clojure. Let them learn to > enjoy Clojure first, before showing them the ugly underbelly of what's > sometimes necessary for performance. > > -Luke > > -- > 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<clojure%2bunsubscr...@googlegroups.com> > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > -- 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
