valhallac

valhallac

Valhallaコンパイラ

Valhallaプログラミング言語

これは、Valhallaのパーサーとコンパイラであり、コンパイルされたByteCodeが実行する仮想マシン、つまりBrokkr VMを除外します。

（重い）開発

[!!]完全な書き直しを計画し、仕事のバランスをとる。

---

これまでにフロントエンドで行われたこと：

• パーサー
  • 語彙分析、完全なUTF-8のサポート、取り扱い：識別子、シンボル、数字、文字列（UTF-8が多数のエスケープを備えたUTF-8）、あらゆる種類のブレース：ベクター、セット、グループ化など。
  • Infix、プレフィックス、および接尾辞表記。
  • 優先順位、areity、および連想の正しい解析。
  • 言語の基本演算子。
  • 適切な関数呼び出し、関数のカレー /部分的アプリケーションが適切に実装されています（Haskell様関数）。
  • 派手なラインと列番号、ソースラインの読み取りを備えたエラーメッセージ。
  • コンパイル時間における些細な推定数値計算に関する一定の折り畳み最適化。
  • 特定の状況での暗黙のコンパイルタイムタイプキャスト。
  • マクロ（マクロ定義とマクロアプリケーションを含む）。
  • 関数のエイリアスとしてユーザー定義のバイナリ演算子。
• コンパイラ（実行可能ファイルを組み立てるバイトコードを生成）。
  • 基本的なプッシュ＆ポップ命令と基本的な算術を備えた定数と地元のテーブル。
  • コードブロックスコープ内のローカル変数のアクセス、割り当て、および取得。
  • カレー関数の生成。
  • カリーがネッカリーではないときにカレーしないように関数を最適化します（関数の定義と関数の呼び出しのアリティを追跡することにより）。
  • ネストされた閉鎖から来るときに変数をグローバルに検索しないように関数を最適化します（ネストされた閉鎖はカレーを実装します）。
  • テールコールの関数を最適化します。
  • 変数と関数タイプを追跡します。
  • マーシャリング、つまり、バイトコードをシリアル化し、仮想マシンによる将来の解釈と実行のためにファイルに保存します。
  • ...

VM、つまり言語のバックエンドは個別に開発されており、半独立して進行します。

コンパイルして実行します

今のところ毎晩錆が必要です。

あなたのシェルで、このリポジトリのルートで、あなたは次のことを書くことができます：

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

または、コンパイラにトークンストリーム、構文ツリー、シンボルテーブル、バイトコード命令、＆ct。などのデバッグ情報を印刷してもらいます--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バイテコードにコンパイルします。後続のバイトコードの実行は、このリポジトリとは別に存在するBrokkrと呼ばれる言語のVM（仮想マシン）によって処理されます。

Valhallaは、セット理論のプログラミング言語です。つまり、それはすべてのタイプが単なるセットであるという方法で、セット理論からの原則に基づいているため、すべてが単なるセットの要素です。この言語は、タイプと対話する新しい方法を提供することを目的としており、それらについて考える直感的な方法を提供します。目標は、セット理論とその周辺の証明などを検証するためにも使用される可能性があることです。

言語は一般的な目的ですが、完全にオブジェクト指向、または機能的である代わりに、理論に基づいたものに基づいているだけです。私が集めたものから、それは非常に人気のあるパラダイムではありません...正当な理由でおそらくそうですが、ちょっと、それは面白いかもしれません。

依存関係

大幅に減少する。