Mojo 编程语言概述

Mojo 是一种新推出的编程语言，结合了 Python 的简洁性和 Rust 的速度与内存安全性。目前处于早期开发阶段，提供了一个在线 Playground 供用户探索其功能。Mojo 的目标是在数据科学和机器学习领域提供卓越的性能，成为 Python 的快速替代品，并计划逐步开源。

创造者与开发背景

Mojo 由 Chris Lattner 创建，旨在为 AI 程序员提供可编程性和扩展性，使其能够在 AI 硬件上进行高效编程。Mojo 在速度上有显著提升，比 Python 快 35000 倍（相比之下，PyPy 快 22 倍，Scalar C++ 快 5000 倍）。这一性能提升归功于使用了多级中间表示（MLIR），使其能够无缝扩展硬件类型而不增加复杂性。Mojo 使用 LLVM 工具链编译为机器代码，通过 Mojo 特定功能提供更好的性能，而 Python 则依赖运行时解释。

语言特性

Mojo 引入了新的语言特性，可以分为两类：一类是 Python 中完全不存在的全新元素，另一类是对现有 Python 特性进行了动态性削减的改进。例如，Mojo 允许使用 let 和 var 关键字声明变量，分别表示不可变和可变变量，这些限制在编译时强制执行，防止对不可变引用的任何修改尝试。

此外，Mojo 使用 struct 关键字（与 Python 的类不同）来定义类型，这些类型具有固定的排列，优化了原生机器速度，类似于 C/C++ 和 Rust 中的等效结构。另一个独特的关键字是 fn，用于定义函数。Mojo 函数默认接受不可变参数，并要求显式类型声明以及局部变量声明。这些语言特性使 Mojo 在相比 Python 时具有独特的特点。

体验 Mojo

用户可以通过访问 Modular Playground（一个基于 Web 的 Jupyter Notebook 环境）来体验 Mojo。目前 Mojo 还没有可下载的运行时环境，但这种方式使其可以在任何有浏览器的计算机上运行。该环境提供了包含详细注释的示例 Notebook。

社区反应与发展前景

社区对 Mojo 的发展充满好奇，并对其持积极态度。Jeremy Howard 在 Twitter 上分享了他的观点，认为 Mojo 应用程序可以编译成小型、独立、快速启动的二进制文件，这将是一个改变游戏规则的功能，使得快速创建和分发小型工具成为可能。

Chris Lattner 在 Lex Friedman 的播客中表示，创建 Mojo 的初衷是使机器学习及其基础设施对非专家更加易用和易懂。这促使开发了一种具有用户友好语法的编程语言，使研究人员和不熟悉高级技术（如 GPS）的人能够有效地使用机器学习。