## 编程语言动物园:概要 编程语言动物园是一个教育性的编程语言集合,包含许多小型但完整的编程语言,旨在说明语言设计和实现的核心概念。对于希望学习编程语言的工作原理或构建自己语言的人来说,这是一个宝贵的资源。 该动物园展示了多种范式——函数式、声明式、面向对象和过程式——并演示了解析、类型检查(静态和动态)、求值策略(急切和惰性)以及异常处理等技术。包含的语言范围从简单的λ演算到Haskell、Prolog和面向对象系统的迷你版本。 该项目强调研究注释良好的源代码。每种语言都有一个README和示例,可以通过命令行运行,交互式(REPL)或使用文件。 该项目采用MIT许可开源,欢迎贡献——错误修复、新语言(遵循简洁性指南)或帮助解决现有问题——通过GitHub。
## 月球背面发现罕见小行星尘埃
最近的嫦娥六号任务取得一项令人惊讶的发现:在月球背面发现了罕见含水陨石类型——伊武那型碳质球粒陨石(CI 陨石)的微观证据。这种陨石非常脆弱,很少能穿过地球大气层,因此这是首次确认的月球样本。
研究人员分析了超过 5000 个碎片,发现了 7 个含橄榄石的碎屑,其化学成分与月球和地球材料都不同。他们的分析显示,这些碎屑的比例与 CI 陨石一致,表明这些小行星在数十亿年前撞击月球,融化并迅速冷却,从而保留了其独特的化学性质。
这一发现意义重大,因为 CI 陨石富含水和挥发性化合物,可能在向早期地球和月球输送这些元素方面发挥了作用。令人惊讶的是,月球环境可能*更*有利于保存这些脆弱的陨石,这可能占月球陨石收藏的 30%。这项发现为研究这些罕见小行星提供了一种新方法,并重新评估它们在太阳系内部的普遍程度。