Great talk, really excited to see how he is going to solve imports and reification for Clojure [so far only rust and haskell have this figured out]. I'm just s

Great talk, really excited to see how he is going to solve imports and reification for Clojure [so far only rust and haskell have this figured out]. I'm just so glad that Clojure exists, it is doing all the good design things to make programming pleasant but it has a different approach from the usual suspects which is incredibly valuable! Being dynamic and interactive is great for UI/UX design since that, especially, benefits from the tight feedback loop and I'm becoming more and more bullish on making the type system separate like this and thinking of it as synonymous with tests, it makes a lot of sense (separation of concerns...) Also coming from mathematics I can see a analogy to the preference of working in open sets (so that you can always take a point arbitrarily close to the edge and still make an open neighborhood around it) and what he is calling an open system. This preference for open sets over dense ones seems counterintuitive at first sight but is the basis on which analysis is built. Type systems feel a bit 'dense' in the sense that they force you to write programs that are overspecified? Anyway I just look forward to seeing experience accumulate with these different technologies so that we may learn more about how we ought to design systems !