这工作正常,您可以使用typeof静态解析的参数 - 问题是解析器无法处理<^,因为它也可以解析为运算符.
typeof
<^
您只需添加空格即可轻松解决此问题^x:
^x
let t = typeof<^x >