1个不稳定版本

0.1.0 2023年7月26日

#6 in #guaranteed

GPL-3.0 许可证

51KB
1.5K SLoC

fdl

快速确定性语言

该语言的目标是提供一个可以动态编译成字节码的确定性语言,并产生保证无错误退出的函数。它通过限制语言特性和静态类型来实现。

限制

  • 没有运行时错误。
    • 除以0的结果是0
  • 所有程序都需要在某些时候停止
    • 这意味着没有递归函数调用
  • 所有表和数组都必须在构造时初始化
  • 数组的大小是固定的,在编译时确定
  • 设计用于辅助函数,而不是大型项目
  • 函数只能通过名称调用,并共享一个单一的全局命名空间
  • 函数只能在全局范围内定义

依赖项

~2.9–6MB
~101K SLoC