type-inference

    10

    1答えて

    と仮定私は2つの無関係なタイプと同じシグネチャを持つ2つの拡張メソッドが、異なる種類のフィルタを定義している: public class Foo {} public class Bar {} public static class FooExtensions { public static TFoo Frob<TFoo>(this TFoo foo) where TFoo : F

    8

    1答えて

    私の本来の目標は、コメント行を破棄してI/Oエラーを適切に発生させながら、各行に1つの単語のリストを取り出してHashSetに入れることです。私は、コードを作るために管理 a # this is actually a comment of the this は次のようにコンパイルします:ファイル「stopwords.txt」を考える fn stopword_set() -> io::R

    1

    1答えて

    私はJavaの型推論に問題があります。私ではなく、javacの次のエラーでjavacの結果でこれをコンパイルする import java.util.function.Function; public class Playbook { static class A { } static class B { } static class P<

    3

    1答えて

    私はFun With Phantom Typesを読んでいます。最初の演習では、なぜPhantom Types上で動作する関数にシグネチャを提供する必要があるのか​​を質問します。私は一般的な理由を考え出すことはできませんが、私は次の例の問題を参照してください: data Expr a where I :: Int -> Expr Int B :: Bool -> Expr B

    3

    2答えて

    関数を呼び出してパラメータの1つをdynamicに置き換えると、コンパイラは関数の結果を動的であると推定します。なぜこのようなことが起こるのか分かりません。 public string MethodWithoutOverloads(string a, string b) { ... } 誰かがなぜタイプを知っている... dynamic b = ""; var a = MethodWitho

    6

    1答えて

    これはF#の最初の行です。私は書いたことがあるので、謝っています。おそらく、検索するGoogleの正しいキーワードがわからないからです。 私はそうのような関数を定義しようとした: let sigmoid x deriv = if deriv then x * (1 - x) else 1/(1 + System.Math.Exp(-x)) これは私にSystem.Math.Exp(-x)上のエ

    0

    2答えて

    の入力引数が同じ型の2つの引数を生成するbuildBiFxnWithSameTypeArgsというメソッドを記述したいとします。 (buildBiFxnWithSameTypeArgsが呼び出されたときに)いつも知られていません。つまり、buildBiFxnWithSameTypeArgsによって返された関数が呼び出されるたびに、コンパイラが提供する引数の型が一致している必要があります。最終的な効

    0

    3答えて

    見て、私たちが来てしまったコード: public class Test2 { public static void main(String... args) { ArrayList<Exception> a = new ArrayListFactory().create(new RuntimeException()); ArrayList<Exception> b

    3

    1答えて

    私は、既知の2つの他の型のパラメータに基づいていくつかの型を推論するようコンパイラを取得しようとしています。ここでの例です: trait ReturnCount trait ReturnsMany extends ReturnCount trait ReturnsOne extends ReturnCount class Query[R <: ReturnCount]{ def

    6

    3答えて

    F#の汎用クラスを単一の型パラメータで持ち、ファクトリメソッドを含む静的クラスを作成したいと考えています。私のクラスを書くとき、F#コンパイラは "スコープをエスケープする型変数"に関連するエラーを生成します。私の質問は、エラーがそこにあり、それを修正する理由です。私はタイプFoo<'a>がでファクトリメソッドを呼び出すことができるようにしたいと思いますので、が type Foo<'a>(elem