valhallac

valhallac

Valhalla编译器

Valhalla编程语言

这是Valhalla的解析器和编译器，它不包括编译字节码在上面运行的虚拟机，即Brokkr VM。

在（重）发展中

[!!]计划完整的重写和平衡工作。

---

到目前为止，在前端已经做了什么：

• 解析器
  • 词汇分析，完整的UTF-8支持，处理：标识符，符号，数字，字符串（UTF-8具有大量ESCAPES），各种括号：向量，集合和分组等。
  • infix，前缀和后缀表示法。
  • 正确解析优先级，贫苦和关联性。
  • 该语言的基础操作员。
  • 正确实现了适当的功能调用，功能的咖喱 /部分应用（类似于Haskell的功能）。
  • 错误消息，带有精美的行和列号以及源线的读数。
  • 在编译时，对琐碎的可疑数字计算进行了恒定的折叠优化。
  • 在特定情况下，隐式编译时类型铸造。
  • 宏（包括宏定义和宏应用程序）。
  • 用户定义的二进制运算符作为功能的别名。
• 编译器（生成字节来组装可执行文件）。
  • 具有基本推动和流行说明以及基本算术的常数和当地人表。
  • 访问，分配和检索代码块范围内的本地变量。
  • 生成咖喱功能。
  • 优化功能在咖喱不是必需的情况下不咖喱（通过跟踪函数定义和函数呼叫的ARITH）。
  • 优化功能以在嵌套封闭（嵌套封闭实现咖喱）中时，以不在全球搜索变量。
  • 优化尾声的功能。
  • 跟踪变量和功能类型。
  • 封装，即序列化字节码并将其存储在文件中，以通过虚拟机通过将来的解释和执行。
  • ...

VM，即该语言的后端，正在分别开发，并将半独立地进行。

编译和运行

目前需要每晚生锈。

在您的外壳中，在此存储库的根部，您可以写下：

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

或者，让编译器打印出调试信息，例如令牌流，语法树，符号表，bytecode指令，＆ct。，use --features=debug ：

cargo run --features=debug [source-file.vh]

例如，您可以运行。

cargo run test_source.vh -v   # For verbose output.

用随附的测试文件（ test_source.vh ）演示编译。当然，要编译的源文件的论点是必要的。

编译器当前执行的示例：

current_compiler_test.md

描述

该存储库包含前端（解析器和字节码编译），该前端处理源代码的语法和语义。然后将生成的AST汇编为Brokkr VM字节码。后续字节码的执行由语言的VM（虚拟机）处理，称为Brokkr，该语言与此存储库分开存在。

瓦尔哈拉（Valhalla）是一种固定的理论编程语言。也就是说，这是基于集合理论的原理，以所有类型只是设置的方式，因此一切只是集合的元素。该语言旨在提供一种与类型互动的新方法，并提供了一种直观的思考方式。一个目标是它也可以用于验证证明以及在集合理论周围和周围的证明。

该语言是一种通用，但不是完全面向对象或功能等。而不是基于理论。从我收集的东西来看，这不是一个非常受欢迎的范式……可能是有充分理由的，但是，嘿，这可能很有趣。

依赖性

大大减少。