Sky是一种受Elm启发的编程语言，可编译为Go代码。它具有Hindley-Milner类型系统、支持服务端驱动的UI(Sky.Live)功能，并能生成单一二进制文件输出。

Sky 编程语言简介

Sky 是一种实验性的编程语言，结合了 Go 的实用性和 Elm 的优雅性。该语言编译为 Go 代码，具有以下主要特点：

核心特性

• Hindley-Milner 类型系统：支持类型推断和代数数据类型
• 服务器驱动UI(Sky.Live)：受 Phoenix LiveView 启发，无需客户端框架
• 单二进制输出：编译为单个可执行文件

语言设计

• 模块化：每个文件声明模块和导出内容
• 类型系统：
  • 内置类型：Int, Float, String, Bool, Char, Unit, List, Maybe, Result
  • 类型别名和代数数据类型
  • 类型约束(comparable, number, appendable)
• 函数式特性：
  • 柯里化和部分应用
  • 模式匹配(支持多种模式类型)
  • 不可变数据结构和管道操作符

与Go的互操作性

• 自动生成类型安全的FFI绑定
• 所有Go调用都包装在Task中，带有panic恢复
• 指针安全处理(*primitive → Maybe T, 结构体指针→不透明句柄)

Sky.Live框架

• 服务器驱动的UI框架
• 基于The Elm Architecture(TEA)
• 特点：
  • 无需WebSocket(使用SSE)
  • 支持服务器端渲染
  • 会话管理和并发安全
  • 组件协议和自动装配

工具链

• 自托管编译器(~4MB Go二进制文件)
• 内置包管理器
• CLI工具支持构建、运行、格式化等
• 语言服务器协议(LSP)支持

项目状态

当前版本为v0.7.x，仍处于实验阶段。已知限制包括不支持嵌套case表达式、匿名记录类型注解等。

Sky旨在为全栈开发提供简单、强类型保证、函数式编程和可移植性的统一解决方案。

该评论内容主要围绕新编程语言Sky的设计特点、功能实现及与Go/Elm的关系展开讨论，观点呈现多元化：

1. 积极评价与期待

   • 多位用户对语言设计表示赞赏，认为其融合了Elm的优点与Go的部署优势："basically provides everything I have ever wanted"(zem)；"Great design!"(riclib)；"get the safety of Elm but end up with a Go binary"(redoh)
   • 自举编译实现获得认可："Self hosting is an accomplishment!"(onlyrealcuzzo)

2. 功能改进建议

   • JavaScript互操作性受到批评："relies on string concatenation... fairly clunky"(zem)
   • 尾调用优化问题被提出："Go doesn't have TCO... how did you solve that?"(submain)
   • 代码实现细节引发讨论："vibe-coded implementation... isUpperStart"(taolson)

3. 语言设计争议

   • 对函数式特性的必要性存在分歧："no reason to copy all functional features"(skybrian)
   • 与Elm的关联性被质疑："If you allow FFI are you really inspired by Elm?"(ch4s3)

4. Go生态相关讨论

   • 多语言编译到Go的现象引发思考："people like everything about Go except the language"(melodyogonna)
   • 有用户提出Java到Go的需求："would love to see Java inspired language compiled to Go"(natty)

5. 安全与工程实践

   • 自举编译的安全隐患被提醒："setup secure build pipeline... can't see nesting-level up"(harikb)

（注：所有评论均无评分数据，故未体现认可度差异）