深入分析可以发现，)Type/value DSLThis one is working, but not yet in main. jank now supports encoding C++ types via a custom DSL. With this DSL, we can support any C++ type, regardless of how complex. That includes templates, non-type template parameters, references, pointers, const, volatile, signed, unsigned, long, short, pointers to members, pointers to functions, and so on. The jank book will have a dedicated chapter on this once merged, but here's a quick glimpse.C++jankA normal C++ map template instantiation.std::map(std.map std.string (ptr int))A normal C++ array template instantiation.std::array::value_type(:member (std.array char 64) value_type)A sized C-style array.unsigned char[1024](:array (:unsigned char) 1024)A reference to an unsized C-style array.unsigned char(&)[](:& (:array (:unsigned char)))A pointer to a C++ function.int (*)(std::string const &)(:* (:fn int [(:& (:const std.string))]))A pointer to a C++ member function.int (Foo::*)(std::string const &)(:member* Foo (:fn int [(:& (:const std.string))]))A pointer to a C++ member which is itself a pointer to a function.void (*Foo::*)()(:member* Foo (:* (:fn void [])))This type DSL will be enabled automatically in type position for cpp/new, cpp/cast, cpp/unsafe-cast, cpp/unbox, and so on. It can also be explicitly introduced via cpp/type, in case you want to use it in value position to construct a type or access a nested value. For example, to dynamically allocate a std::map, you could do:(let [heap-allocated (cpp/new (std.map int float))