もう一方には、コントラクト プログラミング機能と共に、静的分岐とトレイトがあります。適切なメッセージを配信するアサート機能があるため、コントラクトは優れています。また、静的チェックは、コンパイルされたコードにオーバーヘッドをもたらしません。したがって、当然ながら、コンパイル時に適切なエラー メッセージを表示する機能があれば非常に便利です。
たとえば、関数でベクトルの外積と微分 1 形式を取得しようとすると、アサーションを使用して、コンパイラが構造の観点からそれをどのように見ているかではなく、ドメインの観点から問題について具体的に伝えることができます。および配列。または、関数の引数の型を静的に絞り込むこともできますが、ユーザーは私のものではなく、コンパイラ メッセージを処理する必要があります。
問題は、コンパイル時にカスタム メッセージを出力する方法はあるのかということです。