問題タブ [frege]

自己チェックの例のために、次のコードを実行しました。

私はこれが完璧ではないことを知っています (アドバイスは大歓迎です) が、現在の問題は、assert の定義をモジュール util.Assertions に入れると、2 つのアサーションを使用するとコンパイルに失敗することです

アサーションが1つしかない場合に機能するため、クラス自体はCP上にあり、モジュールのインポートは原則として機能します。なにが問題ですか？

Frege で複数のインライン アサーションを使用する方法への回答に従って、2 つの Frege モジュール A と B をコンパイルする方法を学びました。ここで、B は A に依存します。B をコンパイルする必要があります。-make オプションを指定すると、コンパイラは B が依存していることを認識しますA で、ソースパス (-sp フラグ) で A を見つけ、最初に A をコンパイルし、次に B をコンパイルします。

ただし、関心のあるすべてのファイルをコンパイラに渡すことはできません。AとB の両方をコンパイラに渡すと、「循環依存関係」エラーで失敗しました。また、コンパイラにディレクトリを与える方法も見つかりませんでした (何もしませんでした)。

これは、コンパイルが必要なすべてのファイルを適切にコンパイルするために、依存関係グラフのルートを知る必要があったようです。しかし

• 根っこが分からないことがあります。
• それらの多くがあるかもしれません。
• そのように適切なビルド自動化を行うことは非常に困難です。

ソース ツリー内のすべてのファイルをコンパイラにコンパイルさせるコンパイラ オプションの組み合わせはありますか?

ハスケルでは：

フレーゲでは：

この回答をどのように解釈すればよいですか? また、なぜ違いがあるのですか?

(実世界の frege git リポジトリに適用された実世界の haskell の例)

Java は (残念ながら) コンストラクターとメソッドのオーバーロードをサポートしています。たとえば、HashMapには 4 つのコンストラクターがあります。Frege ではできません:

「new」を4回バインドできないため、これはコンパイルされません。Frege データ型に 4 つの「Java コンストラクター」を含めることは可能ですか?