Hi. I have some performance issues with a type inference I wrote in core.logic. Here is the source code https://github.com/timowest/symbol/blob/master/src/symbol/types.clj
It works quite well, but is too slow. I tried to profile it with VisualVM, but as it has mostly anonymous functions, the results were difficult to analyze. Based on a few changes I made I suspect that I need to optimize the environment (the mapping of expressions to types) handling somehow. Are there good alternatives to cons/lcons based handling of mappings in core.logic? Also if you have any general core.logic performance improvement tips, I'd like to hear them. I also noticed that with big environments, I easily get StackOverflowErrors, any ideas how to avoid them? Best regards, Timo -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
