Wyvern
软件描述
Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）
官方网站
访问软件的官方网站了解更多信息
www.cs.cmu.edu
安全链接HTTPS
什么是 Wyvern?
Wyvern 是一种新型编程语言，旨在帮助开发者在编写高保障性应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员以与特定类型相匹配的语言（例如，使用 SQL 语言）创建该类型的字面量（例如，SQLQuery 类型）。目前，我们正在开发 Wyvern 的对象模型，并致力于为架构师提供更强大的架构控制能力。
🔄 替代方案
50 个选择
Nim 是一种静态类型、过程式编程语言，拥有强大的宏系统，旨在不牺牲运行时效率的前提下赋予程序员终极控制力。
免费 • 开源
查看详情
Dart
★3.5
Dart（最初称为Dash）是由谷歌开发的一种Web编程语言。它于2011年10月10日至12日在奥胡斯举行的GOTO大会上首次发布。Dart的目标是“最终取代JavaScript，成为开放网络平台上Web开发的通用语言”。
免费 • 开源
查看详情
用于开发iOS、macOS、watchOS、tvOS和visionOS应用的开源编程语言，具有安全性、高效性、类型推断、泛型、原生代码编译、面向协议的设计、内存管理、Playgrounds、包管理器以及与Objective-C的互操作性。
免费 • 开源
查看详情
Kotlin 是一种跨平台、静态类型、通用的编程语言，具备类型推断功能。Kotlin 旨在与 Java 完全互操作，其 JVM 版本的标准库依赖于 Java 类库，但类型推断使其语法能够……
免费 • 开源
查看详情
