Un paio di thread interessanti oggi in giro. L’editor di Defold e’ scritto in Clojure e JavaFX e sembra un progetto ben complicato [0]. Segnalo anche un bel thread legato a Lisp che tocca Clojure in vari punti [1]. Anche interessante questa lib [2] che centra in pieno un problema che ho avuto varie volte. L’ispirazione e’ monadica ma la “M” word non e’ mai menzionata. Ultimissimo link: i primi 20 minuti di questa lecture [3] sono molto illuminanti sulla relazione tra type theory, proof theory e logic. Dopo secondo me diventa confusa (e le lecture successive). [0] https://github.com/defold/defold/tree/dev/editor [1] https://news.ycombinator.com/item?id=23231701 [2] https://github.com/fmnoise/flow. [3] https://www.youtube.com/watch?v=ev7AYsLljxk