Feed predicates from clojure.spec to the inference engine/type checker from the Shen java port?

2017-10-29 Thread Tiago Dall7;Oca
I'd very much appreciate this kind of thing. I'm not totally into neither static nor dynamic camp. I think we can be benefitted from ideas and philosophies of both. Unfortunately I can't help by now but I guess there are people willing to. Maybe you should also reference this in other clojure

Static purity analysis.

2017-10-15 Thread Tiago Dall7;Oca
Haven't had time to look in deep but looks promising. +1 I'd love to have more static analysis in Clojure and sometimes it feels like it's underrated (by the community). Just thoughts. Keep up! -- You received this message because you are subscribed to the Google Groups "Clojure" group. To p