词法作用域

当我们的语言查找到未定义的变量时，它会抛出错误。如果能在评估程序之前告诉我们哪些变量未定义，那应当会更好。而且，这将让我们避免拼写错误和其他烦人的错误。在程序运行之前查找这些问题称为词法作用域，并使用变量定义的规则来尝试和推断哪些变量已定义，哪些完全没在程序中用上，从而不进行任何计算。

这可能是一项难以完成的任务，但对于任何想要使编程语言更安全且不易出错的人来说，这应该是有趣的。