:morning:

^ mattiniero. Buondì

stamattina e' andata cosi', devo finire le slides per un workshop...

azz

notizie sempre piu` deprimenti dal governo italiano vedo

veramente ...

Lasciamo stare, non fatemi venire voglia di tornare all'estero...

so come ti senti, c'è stato un momento l'anno scorso che ero a un passo dal farlo di nuovo

Che è successo? Fammi aprire il sito della Stampa

pop quiz del giorno

perche` il primo snippet va

Clojure 1.10.0-master-SNAPSHOT
user=> (deftype T [x])
user.T
user=> (defn f [^T t] (.-x t))
#'user/f
user=> (deftype T [x])
user.T
user=> (f (T. 1))
1

Clojure 1.10.0-master-SNAPSHOT
user=> (deftype T2 [x])
user.T2
user=> (defn f2 [^T2 t] (.-x t))
#'user/f2
user=> (f2 nil)
NullPointerException   user/f2 (NO_SOURCE_FILE:6)
user=> (deftype T2 [x])
user.T2
user=> (f2 (T2. 1))
ClassCastException user.T2 cannot be cast to user.T2  user/f2 (NO_SOURCE_FILE:6)

@bronsa sparando a caso, il type hint di clojure è a runtime quindi quando chiami (f (T. 1)) nel primo il T bindato è il secondo mentre nel secondo caso quando fai (f2 nil) binda il T2 definito per primo e poi quando ridefinisci T2 viene creata una nuova classe che è diversa da quella bindata prima

ma sto davvero andando a caso, non so come funziona in type hint o deftype