文章摘要
【关 键 词】 AI编程、函数式、测试驱动、编译器、技术学习
Mirror是一种新型编程语言,专为人工智能(AI)设计,被称为“适用于AI的C语言”。这种语言的基本语法包括定义的函数名称和输入输出示例,类似于测试驱动开发(TDD),但无需编写测试,而是直接提供黑盒版本。这种AI驱动的函数式编程体验意味着可以省去手动编写代码的麻烦。
卡内基梅隆大学的Austin Z. Henley提出了“编程示例”技术,即通过提供结果示例让计算机“学会”用户的意图,与创业公司CTO Andrés Gottlieb共同开发了Mirror。用户需要定义函数的签名,包括函数名称、输入参数类型和输出参数类型,然后提供函数调用的示例,包括输入参数和对应的输出结果。这些示例为大语言模型(LLM)提供训练依据,用于生成符合规则的实际代码。
Mirror的设计简单直观,用户定义函数签名后,提供函数调用示例,然后调用函数并传入参数,系统会判断参数是否符合示例规则。后端使用递归下降解析器处理示例,发送给大模型生成符合约束的JavaScript代码。用户可以提供更多示例以优化输出结果。
Mirror在技术社区Lobsters上曝光后,一些开发者给予了高评价,认为这是一种集成了LLM的编译器,可能成为未来的主流编程方法。自媒体博主The Primagen探索Mirror后认为,虽然避免了编写代码的繁琐,但需要编写测试用例,这类似于“后期TDD”。他希望用Mirror实现简单功能,但即使提供了大量示例,生成的代码仍然错误。相比之下,GPT只需一句简单的英语描述和代码结构就能完成任务。
The Primagen认为,Mirror目前适合用来学习,如编写解析器。他强调,尽管AGI(人工通用智能)离我们还远,但不要回避学习编程。掌握技术、学习解决问题的能力始终有价值。即使未来AI变得无所不能,具备技术技能的人仍将保持竞争力。技术能力是提升自我、解决问题和实现价值的核心力量。这不是非此即彼的选择,可以同时学习技术、享受创造的乐趣,并为自己的职业发展打下坚实基础。
原文和模型
【原文链接】 阅读原文 [ 1623字 | 7分钟 ]
【原文作者】 AI前线
【摘要模型】 moonshot-v1-32k
【摘要评分】 ★★★★☆