It's great to see a hybrid approach. Modern compilers seem to be much easier to build but still hard to get widely used. A cursory look at the language reminded

It's great to see a hybrid approach. Modern compilers seem to be much easier to build but still hard to get widely used. A cursory look at the language reminded me of JavaScript. How are you doing your static analysis from this syntax? I'm working on a visualization project and particularly interested in visualizing the data flow aspects of imperative languages, so it'd be interesting to hear how you're typing data flows in reagent. Especially since it sounds like you're targeting ports from imperative languages. Also, do you think the type system / syntax could be implemented in something like Julia by a combination of macros and types?