Fork me on GitHub
#clojure-italy
<
2018-01-25
>
reborg14:01:56

@bronsa sembra interessante... anche solo capire che problema risolve

bronsa14:01:47

per il momento risolve il problema di farmi divertire un po’ con abstract interpretation :) poi vediamo se qualcosa di utile riesco a tirarcelo fuori

reborg14:01:24

comunque non capisco di cosa fa l'infer. Vedo una defmacro e quello che sembra un esempio?

bronsa14:01:14

prende una lista di macro definitions, una espressione macroexpanded, e cerca di risalire a (una) form pre-macroexpansion

reborg15:01:40

mmmh capito ora