在实现一种新的类型化低级语言TLL（Typed Low-level Language）的过程中，发现从Java到字节码（bytecode）的翻译过程中丢弃了部分类型信息......