Apollo-lander:Lua在Mercury中实现

阿波罗·兰德 Mercury是一种纯粹的声明性逻辑编程语言。 它与Prolog和Haskell有关。[1] 它具有强大的，静态的，多态的类型系统以及强大的模式和确定性系统。 阿波罗（Apollo）是水星行星的古希腊名字，在黎明前作为晨星被观测到。 阿波罗号飞船由三部分组成，旨在实现美国阿波罗计划的目标，即在1960年代末将宇航员降落在月球上，并将其安全返回地球。 Lua-具有动态类型的轻量级编程语言。 来自葡萄牙语lua（“月亮”）。 该语言的发明者是巴西人。 ================================================== ======================================== 如果您正在阅读本文，那么毫无疑问，您应该知道水星是一种严格的语言。 这不仅仅是关于拥有严格的静态类型或模式系统。 Mercury在设计时考虑