Hey Reid, I've forwarded this over to Rich and Stu to take a look at.
Alex On Thursday, August 6, 2015 at 11:46:09 AM UTC-5, Reid McKenzie wrote: > > Hello all, > > Alan Malloy and I recently implemented[1] and contributed[2] an opt-in > strict tags mode to Alexander Yakushev's Skummet compiler. To > summarize the linked blog post and merge request, we created the > `clojure.core/*strict-tags*` dynamic var which may either be set by > users at the namespace level a la `clojure.core/*warn-on-reflection*` > or set on a per-fn basis with the `^:strict` metadata annotation. When > in strict mode, type hints are interpreted not as optional and late > checked hints (the Clojure default) but as eagerly checked static > types on tagged locals and expressions. > > The effect of these changes is to greatly reduce the number of > checkcast instructions emitted when performing tagged interop should > users opt into using strict mode and accept the requisite > responsibility for managing their types. > > While the odds that these changes will be accepted as-is are slim, we > think they represent a valuable addition to the language and so > present them for your consideration. > > - Reid > > [1] - http://blog.factual.com/strictly-tagged-clojure > [2] - https://github.com/alexander-yakushev/clojure/pull/1 > > -- 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
