You can prevent logic var reification by binding *reify-vars* to false. run
is lazy so you need to wrap your run in a doall as well.
On Wednesday, January 16, 2013, Timo Westkämper wrote:
> Hi.
>
> On Wednesday, January 16, 2013 10:20:36 PM UTC+2, David Nolen wrote:
>>
>>
>> On Wed, Jan 16, 2013
Hi.
On Wednesday, January 16, 2013 10:20:36 PM UTC+2, David Nolen wrote:
>
>
> On Wed, Jan 16, 2013 at 3:13 PM, Timo Westkämper
>
> > wrote:
>
>> Hi.
>>
>>
>> On Wednesday, January 16, 2013 9:56:39 PM UTC+2, David Nolen wrote:
>>>
>>> Ok. But at that point can't you just process the type environ
On Wed, Jan 16, 2013 at 3:13 PM, Timo Westkämper wrote:
> Hi.
>
>
> On Wednesday, January 16, 2013 9:56:39 PM UTC+2, David Nolen wrote:
>>
>> Ok. But at that point can't you just process the type environment with
>> Clojure code?
>
>
> But I get them out with replacements, is there any way to avo
Hi.
On Wednesday, January 16, 2013 9:56:39 PM UTC+2, David Nolen wrote:
>
> Ok. But at that point can't you just process the type environment with
> Clojure code?
But I get them out with replacements, is there any way to avoid this?
> Or would you like those fresh vars to reify differently,
Ok. But at that point can't you just process the type environment with
Clojure code? Or would you like those fresh vars to reify differently, as
in you want something other than _N?
On Wednesday, January 16, 2013, Timo Westkämper wrote:
> Hi.
>
> On Wednesday, January 16, 2013 9:27:37 PM UTC+2, D
Hi.
On Wednesday, January 16, 2013 9:27:37 PM UTC+2, David Nolen wrote:
>
> 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?
>
The final output is map which includes form / type mappings. And the types
can b
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 wrote:
> Hi
>
> I have been able to improve the performance of the core.logic based type
> infer
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
