1个不稳定版本
0.1.0 | 2023年7月26日 |
---|
#6 in #guaranteed
51KB
1.5K SLoC
fdl
快速确定性语言
该语言的目标是提供一个可以动态编译成字节码的确定性语言,并产生保证无错误退出的函数。它通过限制语言特性和静态类型来实现。
限制
- 没有运行时错误。
- 除以0的结果是0
- 所有程序都需要在某些时候停止
- 这意味着没有递归函数调用
- 所有表和数组都必须在构造时初始化
- 数组的大小是固定的,在编译时确定
- 设计用于辅助函数,而不是大型项目
- 函数只能通过名称调用,并共享一个单一的全局命名空间
- 函数只能在全局范围内定义
依赖项
~2.9–6MB
~101K SLoC