It&#x27;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&#x27;m working on a visualization project and particularly interested in visualizing the data flow aspects of imperative languages, so it&#x27;d be interesting to hear how you&#x27;re typing data flows in reagent. Especially since it sounds like you&#x27;re targeting ports from imperative languages.<p>Also, do you think the type system &#x2F; syntax could be implemented in something like Julia by a combination of macros and types?