問題タブ [preconditions]

Nemerle を使用して、ジェネリック型の制約と「必須」の前提条件を持つメソッドを作成したいと考えています。メソッドの戻り値の型に関して、これらの適切な順序/構文は何ですか?

これが私が欲しいもののC＃の例です：

これは、コンパイラが気に入らない Nemerle の推測です。

これをコンパイルするにはどうすればよいですか？

編集：

array私が実際に意味したときにキーワードを使用していましたSystem.Array。

これはコンパイルされます：

このインターフェイスに基づいて、Java で電卓を作成する必要があります。

しかし、すべてのメソッドについて、前後の条件が必要です。前提条件について本当に助けが必要です。なぜなら、Java によってまだ処理されていない意味のあるものを 1 つも想像できないからです。

編集:除算と平方根は私には明らかですが、追加、サブ、マルチにはいくつかのアイデアが必要です。