Wyvern
软件描述
Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）
官方网站
访问软件的官方网站了解更多信息
www.cs.cmu.edu
什么是 Wyvern?
Wyvern 是一种新型编程语言，旨在帮助开发者在编写高保障性应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员以与特定类型相匹配的语言（例如，使用 SQL 语言）创建该类型的字面量（例如，SQLQuery 类型）。目前，我们正在开发 Wyvern 的对象模型，并致力于为架构师提供更强大的架构控制能力。
🔄 替代方案
50 个选择
X10 (programming language)
X10编程语言围绕异步性、局部性、原子性和顺序性这四项基本原理构建，其基础是类型安全、基于类的面向对象系统。该基础足够强大，能够支持细粒度并发，以及Cilk风格的……
Objective-J
Objective-J 是作为 Cappuccino Web 开发框架的一部分而开发的一种编程语言。它的语法几乎与 Objective-C 完全相同，并且它与 JavaScript 的关系，正如 Objective-C 与……的关系一样。
Lasso Programming
Lasso 是一个用于定制化数据驱动网站的简易且安全的平台。它连接网络服务器（如 Apache、IIS）与多种数据源（如 MySQL、Oracle 等）。由于采用开放标准，您可在 macOS、Windows 或 Linux 上开发，并无缝部署到其他平台。
Kaffeine JS
软件
Kaffeine 是对 JavaScript 语法的一组扩展，旨在使其更易于使用。它直接编译为与输入非常相似、可读性强且逐行等价的 JavaScript（你可以选择美化）。
LiveScript
软件
LiveScript 是一种编译为 JavaScript 的语言。它是 Coco 的分支，而 Coco 又源自 CoffeeScript。与这两者一样，LiveScript 与 JavaScript 之间有相对直接的映射关系。LiveScript 在 Coco 的基础上发展而来，但与 CoffeeScript 兼容性更强，功能也更丰富。