Ah ah buggy buggy, senza guardare il decompilato, direi che (f2 (T2. 1)) assegna (T2. 1) ad un qualche field interno alla classe, chiama il body di f2 che lo legge, ed il body poi assegna nil al field. Se c'e' exception, la versione precedente di T2 e' ancora nel field, che evidentemente non viene riassegnato.

L'hai scoperto tu o e' stato riportato?

Segnalo per gli amanti del mondo formal verification https://www.ou.edu/content/dam/CoE/CS/Thesis_Dissertations/2016/Summer%2016/2016_Ryan_Ralston_Dissertation.pdf

@gabriele non proprio ma ci sei vicino

@reborg ottima teoria! c'è infatti una inline cache che si comporta come dici tu, ma in questo caso non è rilevante visto che ho intenzionalmente usato (f nil) per evitare di avere una cache hit su T2

@reborg ho scoperto ieri che il primo caso funziona, entrambi fallivano fino a 1.8.0

re: la tesi, ci ho dato un'occhiata qualche mese fa, un po' underwhelming IMO

Io la trovo interessante. Scorre come un tutorial su come applicare APL2 per verifica in Clojure, che e' quello che vorrei provare per alcuni algos. Poi sono interessato ad un porting di defthm & friends in un'altra vita...

Che altro mettereste in un clojure advanced workshop, possibilmente 1 solo giorno? https://github.com/uswitch/uswitch-academy/blob/master/clojure-advanced La definizione di "advanced" e' molto variabile.

includerei un esempio di hierarchical multimethod con local hierarchy

per il resto quello che c’e` mi sembra ottimo

ho usato questo pocco tempo fa per giocare con specs+metadata. Non sapevo anche che esiste make-hierarchy.

e il fatto che si puo anche utilisare simple keywords con questo

orrore -> https://github.com/mpenet/spex

nice @mpenet

ti manca solo un spex/defmulti che usa il tuo spex/isa? per fare dispatch su specs invece che keywords

giusto

actually, c'e' gia' https://clojure.org/guides/spec#_multi_spec

ma con spex/def-derived si potrebbe avere "inheritance"

@bronsa ma quindi perché succede? 😬

@gabriele.carrettoni c’eri vicino! la JVM linka le classi a class load time, fino a clojure 1.8.0 clojure loadava le classi on import, da clojure 1.8.0 clojure non loada eagerly ma on first use, e quindi nel primo esempio f linka al secondo T, mentre nel secondo f2 linka al primo T2 perche` (f2 nil) forza il class loading

interessante, grazie 🙂

non avevo pensato al caricamento delle classi

immaginavo fosse qualcosa dovuto alla laziness

il fatto che il primo esempio funzioni e` “per sbaglio”

@gabriele.carrettoni clojure ancora non fa lazy var initialisation

riesci ad approfondire?

quale parte? :)

"clojure ancora non fa lazy var initialisation"

in che modo si collega a quello che ho detto, sembra una correzione alla mia affermazione sulla laziness

ma non la capisco 😅

https://dev.clojure.org/display/design/Lazy+var+loading

quando definisci una var, il bytecode viene caricato in memoria eagerly

c’e` una proposta per rendere def “lazy”

e aumentare la velocita` di caricamento iniziale dei namespace

ok ora ho capito che intendevi

thanks

cambiando argomento, ho avuto modo di giocare un po' con datomic ions

mi piace molto ma è ancora troppo giovine per usarlo in prod

spero maturi bene

qualcuno è riuscito a provarlo?

io ho avuto un bel po' di disagi al pronti via ma sistemati quelli sembra andare easy

qui niente ion tests, penso che passero' aspettando articoli e commenti nei prossimi mesi. ma se facessi un mituppe verrei a sentirti

prima dovrei imparare a parlare in pubblico

eh si puo' essere utile 🙂

cmq si impara parlando in pubblico

magari in pair con qualcun'altro le prime volte

non so neanche se ne valga la pena sinceramente, ai pochi meetup che sono andato la gente era più interessata al cibo e avevano sempre una conoscenza basilare dei linguaggi/argomenti trattati

quindi sempre talk entry level

poi su una cosa di nicchia come datomic ions

non saprei

sara' in relazione al posto, ma se la fai qui vedi che fila

magari è qui in italia che fan cagare non so

per farti capire la chicca più bella di sempre è codemotion 2016 uno che parla degli indici di cassandra e a 3/4 del talk uno alza la mano e chiedi "cassandra is a?" ... "database" .. "ah ok thanks"

🙂 o 😢 dipende

ho fatto un codemotion anni fa... era molto "universitario" il pubblico

spex e' interessante, sto ripensando a usare schema di nuovo per fare validation...e ritornare errori agli utenti, al momento use spec + expound