我最近发现你可以在 python 中做以下事情：
def function(a: float, b: pandas.DataFrame):
pass
解释指定参数的类型是否有意义？我发现的唯一优点（甚至不是python，而是环境）是PyCharm在指定参数的类型时，它会知道变量的类型，并在编写时会提供此类的方法variable.
再会！现在我注意到一件相当奇怪的事情：对于相同的字符串，split 方法在不应该的地方表现不同。默认情况下，split 方法的分隔符是空格，因此如果将空格作为参数传递，应该没有区别。但是，会发生以下情况：time.ctime(0).split() # ['Thu', 'Jan', '1', '03:00:00', '1970']
time.ctime(0).split(' ') # ['Thu', 'Jan', '', '1', '03:00:00', '1970']
这种行为的原因可能是什么？提前致谢