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）是一種固定的理論編程語言。也就是說，這是基於集合理論的原理，以所有類型只是設置的方式，因此一切只是集合的元素。該語言旨在提供一種與類型互動的新方法，並提供了一種直觀的思考方式。一個目標是它也可以用於驗證證明以及在集合理論周圍和周圍的證明。

該語言是一種通用，但不是完全面向對像或功能等。而不是基於理論。從我收集的東西來看，這不是一個非常受歡迎的範式……可能是有充分理由的，但是，嘿，這可能很有趣。

依賴性

大大減少。