Wyvern
软件描述
Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）
官方网站
访问软件的官方网站了解更多信息
www.cs.cmu.edu
安全链接HTTPS
什么是 Wyvern?
Wyvern 是一种新型编程语言，旨在帮助开发者在编写高保障性应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员以与特定类型相匹配的语言（例如，使用 SQL 语言）创建该类型的字面量（例如，SQLQuery 类型）。目前，我们正在开发 Wyvern 的对象模型，并致力于为架构师提供更强大的架构控制能力。
