Not sure I follow. What is there to further optimize? Is there something that you're trying to do with q that you can clarify further?
Thanks, David On Wed, Jan 16, 2013 at 2:19 PM, Timo Westkämper <timo.westkam...@mysema.com > wrote: > Hi > > I have been able to improve the performance of the core.logic based type > inference in symbol quite a lot based on David's suggestions > https://github.com/timowest/symbol/blob/master/src/symbol/types.clj > > The biggest change was to use maps for the type environment > > I wonder if it is possible to optimize / customize how the final map is > generated > > defn new-env > [env form] > (first (run 1 [q] > (fresh [type] (typedo env form type q))))) > > q will be a map in this case. > > I believe it would be ok to just give the map out as it is, and transform > lvars that are included on demand. > > In other words, I have optimized goals for map population and querying and > I also want to opimize the final extraction of the type environment. > > Is this possible? > > Br, > Timo Westkämper > > -- > 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 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
