Wyvern
软件描述
Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）
官方网站
访问软件的官方网站了解更多信息
www.cs.cmu.edu
安全链接HTTPS
什么是 Wyvern?
Wyvern 是一种新型编程语言，旨在帮助开发者在编写高保障性应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员以与特定类型相匹配的语言（例如，使用 SQL 语言）创建该类型的字面量（例如，SQLQuery 类型）。目前，我们正在开发 Wyvern 的对象模型，并致力于为架构师提供更强大的架构控制能力。
🔄 替代方案
50 个选择
Lua
★4.4
Lua 是一种功能强大、快速、轻量级且可嵌入的脚本语言。 Lua 将简单的过程式语法与基于关联数组和可扩展语义的强大数据描述结构相结合。Lua 为动态类型语言，通过解释基于寄存器的字节码运行。
免费 • 开源
查看详情
Ruby
Ruby 是一种动态、反射性、通用的面向对象编程语言，其语法受 Perl 启发，同时具备类似 Smalltalk 的特性。Ruby 于 20 世纪 90 年代中期起源于日本，最初由松本行弘（Matz）开发和设计。
免费 • 开源
查看详情
JavaScript
★4.2
JavaScript（有时缩写为JS）是一种轻量级、解释型、面向对象的语言，具有头等函数功能，最著名的是作为网页的脚本语言，但也广泛用于许多非浏览器环境。
免费 • 开源
查看详情
