タグ付けされた質問 「type-constraints」


4
Scala 2.8で<:<、<%<、および=:=は何を意味し、それらはどこに文書化されていますか?
PredefのAPIドキュメントで、それらがジェネリック関数タイプ(From)=&gt; Toのサブクラスであることがわかりますが、それだけです。えっと、何?ドキュメントはどこかにあるかもしれませんが、検索エンジンは "&lt;:&lt;"のような "名前"をうまく処理しないので、私はそれを見つけることができませんでした。 追加質問:これらのファンキーなシンボル/クラスを使用する必要があるのはなぜですか?

2
C#ジェネリック「where制約」と「任意のジェネリック型」の定義?
例を挙げましょう。 私はいくつかの一般的なクラス/インターフェースの定義を持っています: interface IGenericCar&lt; T &gt; {...} 上記のクラスに関連付けたい別のクラス/インターフェイスがあります。次に例を示します。 interface IGarrage&lt; TCar &gt; : where TCar: IGenericCar&lt; (**any type here**) &gt; {...} 基本的に、またはにIGenericCar関係なく、ジェネリックIGarrageがに依存するようにします。これは、その型に依存しないためです。IGenericCar&lt;int&gt;IGenericCar&lt;System.Color&gt;

2
C#は `notnull`型をnull可能にできません
私はラストResultやハスケルに似たタイプを作成しようとしていますが、Eitherこれはここまでです: public struct Result&lt;TResult, TError&gt; where TResult : notnull where TError : notnull { private readonly OneOf&lt;TResult, TError&gt; Value; public Result(TResult result) =&gt; Value = result; public Result(TError error) =&gt; Value = error; public static implicit operator Result&lt;TResult, TError&gt;(TResult result) =&gt; new Result&lt;TResult, TError&gt;(result); public static implicit operator Result&lt;TResult, TError&gt;(TError …
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.