是的，程序通常需要一个主函数。主函数是程序执行的入口点，它负责初始化程序、控制程序流程、调用其他函数和模块，并最终输出结果。在大多数编程语言中，主函数是必须的，例如C/C++、C、Java、Go和Rust等。主函数的存在使得程序的结构清晰，易于理解和维护。
然而，也有一些例外情况。例如，在Windows编程中，可以创建一个动态链接库（DLL）模块，这种模块不是独立的程序，因此不需要主函数。此外，用于专业环境的程序，如机器人中的控制芯片，可能也不需要主函数。
对于Python这样的解释型语言，程序的执行是从文件的顶部开始，逐行执行的，因此不需要显式的主函数。但是，为了更好地组织和管理代码，通常建议使用`if __name__ == "__main__":`来定义一个主函数。
总结来说，主函数在程序中扮演着重要的角色，它是程序的入口点，负责初始化、控制流、模块调用和输出结果等功能。尽管存在一些例外情况，但大多数编程语言仍然要求程序中必须有一个主函数。