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 [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
