作为我第一次接触Spark和Ada，所以这个问题可能过于宽泛。然而，这是出于诚意的提问，旨在帮助理解Spark。除了以下问题的直接答案之外，我也欢迎对样式、工作流程等方面进行批评。在我第一次尝试Spark时，我选择尝试实现（简单的）并证明（目前不成功）函数。问题：如何正确地实现和证明此函数的正...