Wyvern
软件描述
Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）
官方网站
访问软件的官方网站了解更多信息
www.cs.cmu.edu
安全链接HTTPS
什么是 Wyvern?
Wyvern 是一种新型编程语言，旨在帮助开发者在编写高保障性应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员以与特定类型相匹配的语言（例如，使用 SQL 语言）创建该类型的字面量（例如，SQLQuery 类型）。目前，我们正在开发 Wyvern 的对象模型，并致力于为架构师提供更强大的架构控制能力。
🔄 替代方案
50 个选择
PureScript
PureScript 最初由 Phil Freeman 于 2013 年设计。他开始开发 PureScript 是因为他对其他将 Haskell 编译为 JavaScript 的尝试（例如使用 Fay、Haste 或 GHCJS）不满意。
免费 • 开源
查看详情
💻
Jim Tcl — The Jim Interpreter
Jim 是 Tcl 编程语言的一个开源、轻量级实现。它实现了 Tcl 的大部分功能，并新增了引用（带垃圾回收）、闭包、内置面向对象编程系统、函数式编程命令等功能。
免费 • 开源
查看详情
Chibi Scheme
Chibi-Scheme 是一个非常轻量的库，无外部依赖，旨在用作 C 程序中的扩展和脚本语言。除了支持轻量级基于虚拟机的线程外，每个虚拟机本身都在独立的堆中运行，允许多个虚拟机同时执行……
免费 • 开源
查看详情