一门面向大众的编程语言Eat Your Greens (EYG) 是一种静态类型的函数式编程语言。从某种意义上说它是一种更优秀的编程语言。本文将阐述“更优秀”具体指什么以及为实现这一目标该语言需要添加或去除哪些特性。终端用户的编程失望开发者在等待前往瑞典开始新工作的签证的 10 周时间里开始着手开发这门语言。在注意到一些有技术头脑但并非专业开发者的人群中反复出现一种循环模式后专门开发了 EYG。这种模式是有技术头脑的人发现可自动化解决的问题选择无代码或低代码工具随着问题复杂度增加工具无法处理而沮丧。此时有两个选择一是向开发者寻求帮助开发者会否定第一个解决方案称需要用“真正的”语言重写二是最初的开发者自己开始学习“真正的”编程语言但学习过程会使进度变慢。这些工具和问题都属于终端用户编程的广泛范畴有人喜欢用“公民开发者”描述开发者最喜欢用“自制软件”来描述那些并非面向大众的软件。本质上解决问题的软件开发应该让非全职开发者也能参与。大众 vs 开发者全职开发者比其他人有更多时间跟上技术变化。只有开发者才会体谅机器普通人对整数溢出的反应往往是不理解而开发者会乐意解释其必要性。一般来说开发者处理的问题规模更大这意味着开发者工具在解决小问题方面有所欠缺。我的假设开发者的工作大致分为两类一是使用语言结构描述要解决问题的逻辑二是使用相关结构让计算机运行这些问题。有很多人能完成第一类工作但没时间掌握第二类工作开发者把这些人称为“创造者”。任何试图让编程变得更简单的终端用户编程工具都没有解决关键问题。在终端用户编程讨论中Excel 是典型例子它完全解决了第二类问题。EYG 的目的是消除第二类问题让创造者专注于描述他们的问题它专注于软件领域的自制软件部分。在衔接问题、个人仪表盘、自动化任务等场景下EYG 是不错选择。来自 Gleam 的更多证据开发者在瑞典和自动化工程师一起工作他们具备技术知识但花在软件上的时间和花在其他方面的时间差不多。他们是真正的程序员但在尝试在其他领域构建软件时也经历了和前面提到的一样的循环。开发者说服其中一些人参加 Gleam 之旅他们学习 Gleam 毫无困难但不知道该把它应用到哪里以及如何部署。Gleam 能很好地表达对领域问题的解决方案但在发布和部署方面存在问题在解决第二类问题的便捷性上达不到 Excel 的水平。开发者曾希望自己开发的语言内容能融入 Gleam但由于两者优先级不同存在无法调和的差异。Gleam 采用名义类型而 EYG 采用结构类型Gleam 面向开发应用程序的开发者而 EYG 面向构建功能的创造者。EYG 的特性为服务目标用户创造者EYG 在很多方面做出选择与其他语言有主要区别。一是可靠的类型推断EYG 选择的类型系统不会强迫用户提前定义类型运行类型检查也是可选的重点是让类型系统成为一流辅助工具。二是哈希依赖EYG 通过内联定义依赖来避免更新时难以理解依赖地狱的问题依赖通过模块内容的哈希值来标识。三是效果类型在类型系统中捕获副作用能让运行时为创造者提供更多帮助开发者还计划进一步拓展这一功能。其他衡量“更优秀”的标准开发者衡量“更优秀”的标准是这门语言能在多大程度上帮助创造者构建可靠、可共享的程序包括配置文件、脚本、自动化任务、小部件等。当然还有其他标准如果为大型团队寻找适合开发新浏览器的语言推荐 Rust。开发者正在开发 EYG这是一次构建更优秀语言和工具的实验所有进展都会在其不定期发布的时事通讯中汇报。