Aliceのルールシステムによく似た、テンプレートのようなエディターで DSL を作成しています。ユーザーは、リストから関係を選択したり、関係を適用するオブジェクトを選択したりできます。これら 2 つのリストは、許容可能なタイプに基づいてフィルタリングする必要があります。たとえば、関係が「より大きい」場合、使用可能なオブジェクトは「より大きい」が実装されているタイプである必要があります。
同様に、より大きいと比較できないオブジェクトが選択された場合、その関係は潜在的な関係のリストに含まれるべきではありません。この問題の核心は型チェッカーにあると思いますが、その型のロジックをアプリケーションに組み込む最善の方法は確かではありません。DSL 用の既存の型チェック ライブラリを知っている人はいますか?
特にオープンソースとクロスプラットフォームのテクノロジーに興味があります。Java はおそらく私たちが最終的に使用することになる言語ですが、それは修正されていません。