计算机能直接执行的程序是用 机器语言编写的。机器语言是机器能直接识别的程序语言或指令代码，无需经过翻译，每一操作码在计算机内部都有相应的电路来完成它，或指不经翻译即可为机器直接理解和接受的程序语言或指令代码。
然而，在实际开发中，人们通常使用高级编程语言来编写程序，然后通过编译器或解释器将高级语言代码转换为机器语言代码。这样做的好处是提高了开发效率，减少了出错的可能性，并且使得程序更易于理解和维护。
目前，有许多种高级编程语言可以用来直接编写程序，包括但不限于：
Python：
一种简洁、易读易写的高级编程语言，支持面向对象编程，拥有强大的标准库和第三方库，广泛应用于Web开发、数据分析、人工智能等领域。
JavaScript：
一种用于Web开发的脚本语言，可以直接嵌入到HTML中，通过浏览器运行，具有良好的跨平台性能，广泛应用于前端开发和服务器端开发（如Node.js）。
C：
一种高效、强大的编程语言，广泛应用于系统编程、嵌入式开发等领域，具有简洁的语法规则和高效的执行效率。
C++：
在C语言的基础上发展而来，增加了面向对象的功能，广泛应用于游戏开发、图形界面设计、系统级应用程序等领域。
Java：
一种面向对象的编程语言，具有跨平台性和安全性的特点，广泛应用于企业级应用开发、移动应用开发等领域。
Go：
一种由Google开发的静态类型、编译型语言，具有强大的并发性和高效的执行速度，适用于网络编程、分布式系统等领域。
Swift：
一种由Apple开发的面向iOS和MacOS开发的编程语言，具有现代化的语法和特性，具备强大的性能和安全性。
选择哪种编程语言取决于具体的项目需求、开发环境和个人偏好。