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.
