毫无疑问，Python中没有所谓的 main 入口函数，但在网上经常有文章提到“Python中的main函数”和“建议编写main函数”等。他们的目的可能是模仿真实的 main 函数，但是经常有很多人被误导（或误解）并编写非常繁琐的代码。在开始本文之前，让我们回答以下两个问题：所谓“ main 函数”是什么意思？为什么有些编程语言需要强制编写一个 main 函数？一些编程语言使用 main 函数作
Type System 的基本目的是防止在程序运行过程中发生执行错误。这个非正式的表达激发了对类型系统的研究，但需要细化阐述。它(这个表述)的准确性首先取决于一个相当微妙的问题，即什么是执行错误，我们将详细讨论这个问题。即使解决了这个问题，没有执行错误也是一个重要的属性。当这样的属性适用于所有可以在编程语言中表示的程序运行时，我们称该语言为Type sound(类型健全，类型安全)。事实证
