Fork me on GitHub

Hi, I am thinking of creating an own language of sorts, which transpiles to various other languages, I want to use core.typed for typechecking it, it's easy enough to generate annotated Clojure code. My questions about that: 1. Do you think that is a viable approach? 2. Would I use cf (on constructed code with a big let for the environment) for that, or is there a better way? 3. In an expression like (->> a (filter foo) (map bar)) what is the easiest way to find out the concrete types of the subexpressions? (For example when transpiling to languages without generics)