主要是问我主要熟悉的 java/c++。 是否仅在编译时用于检查正确性的类型信息，然后被丢弃？（即 Java 在编译后是否像 Python 一样工作？ 类型信息是否保留并再次用于运行时检查？ 此行为...

我目前正在尝试在 GitHub 上更好地了解 Apple 的开源 Swift 编译器。在使用 Swift 几年后，我已经习惯了将标准库中的重要类型（如 和）定义为 s 的理念，就像任何其他类型一样（与...

我正在研究一个愚蠢的小编译器。我现在在 AST 创建步骤中，我无法弄清楚如何处理类型检查。 编译器将代码“分解”为基本类型，如整数和浮点数。所有不是基本类型的内容都被视为基本类型/其他自定义类型的聚...