問題タブ [inferred-type]

RWH の第 3 章の質問 5 の要求に基づいて、パディンドロームの存在をテストする関数を作成します。

書いたけど動かない

実行しようとすると、次のエラーが表示されます。

私は何が間違っているのですか？パディンドロームは でテストできることはわかっていますがa == reverse a、今は自分のやり方でエラーを見つけたいと思っています。

更新: コードのエラーの 1 つが正義の提案によって修正されました。残りの問題を反映するように質問が更新されました。

var の使用はローカル変数に対してのみ実行できるため、実行できないことはわかっています。C#チームがなぜそうあるべきだと考えたのか、誰かが理論を持っているかどうか疑問に思っています。たとえば、これの何が問題になるでしょうか:

が初期化されている場合someString、明らかに のような文字列ですsomeOtherString。ローカル変数に 1 つのルールがあり、グローバル変数に別のルールがあるのはなぜですか?

私はHaskellの初心者で、推論された型などがどのように機能するかを理解するのが難しいです。

それは正確にはどういう意味ですか？

これらの違いは何ですか？

そして、推論されたタイプの

foldr mapは[a] -> [a -> a] -> [a]

しかし、それはなぜですか？

ありがとう！

推測されるタイプ：
a.map mys ::
b.mys map ::
c.foldr map ::
d.foldr map.mys ::

mys n = n + 2を使用して自分で自分自身を作成し​​ようとしましたが、そのタイプは

'Num a =>a->a'と'a->a'の違いは何ですか？または、「Num a =>」はどういう意味ですか？私のものはNumタイプだけを取るということですか？

とにかく、
a）私は[a]-> [a]を取得しました。これは、リストを取得して、私の定義に従って+2'dを返すためだと思います
b）（a-> b）-> [a] -> [b]マップはまだ（* 3）のような両方の引数を取る必要があるので、リストは[a]を返します。これはmysに行き、[b]を返します
。c）これを行う方法がわかりません
1。d ）これを行う方法もわかりません1が、map.mysは、最初にmysを実行してから、正しくマップすることを意味しますか？

私の答えと考えは正しいですか？そうでない場合は、なぜですか？

ありがとう！

I'm trying to figure out syntax that supports unboxing an integral type (short/int/long) to its intrinsic type, when the type itself is unknown.

Here is a completely contrived example that demonstrates the concept:

In each case, the integral types are consistent, so there should be some form of syntax that says "the object contains a simple type of X, return that as X (even though I don't know what X is)". Because the objects ultimately come from the same source, there really can't be a mismatch (short != long).

I apologize for the contrived example, it seemed like the best way to demonstrate the syntax.

Thanks.

メソッド呼び出しで属性が適用されているかどうかをテストする拡張メソッドを作成し、そのメソッドをラムダ式として指定したいと考えています。現在、私は次の（機能する）アプローチを持っていますが、このコードの見た目が本当に好きではありません：

ご覧のとおり、デリゲートの型を 2 回指定する必要がありますが、どちらも見栄えがよくありません...

しかし、それは少し要求が多すぎるかもしれないことに気づきました。

現在のコードから型引数をリファクタリングする方法はありますか?

そもそも型引数がある理由はTDelegate、メソッドのシグネチャと戻り値の型に関係なくこれを使用したいからであり、入力引数の数と、問題のメソッドが avoidか関数かTDelegateによって、変化。テストするメソッドへの入力引数の数ごとに異なる実装をしたくありません...

更新:
Jay がコメントで指摘しているTDelegateように、 の呼び出しで型引数を指定する必要はないようHasAttribute<>です。コードは次のようになります。

ずっと良くなりましたが、それでも最初の行はかなり厄介だと思います。それはさらに良いでしょうか？

次のエラー メッセージが表示されます。

最初の方法では、IEnumerable<T>.Select()?を使用しても問題はありません。2番目の方法の問題はどこにありますか？

これは、 https：//stackoverflow.com/questions/1987485/conditionally-assign-c-var-as-elegant-as-it-getsにある関連トピックのフォローアップです 。

私が次のことをしている場合：

クラスレベルで静的にするためにクエリタイプを宣言するにはどうすればよいですか？

あるいは、参照された投稿で、MarcGravellは別のアプローチを指摘しています

私の場合、クエリをどのように宣言/再コーディングしますか？これが私のワイルドな試みです:)

ありがとうございました。

複雑なジェネリック型 (複数のインターフェイスを実装する) を返すメソッドがあります。

これは正常にコンパイルされ、オーバーライドして値を返すことができます。ただし、呼び出すとすぐにコンパイルエラーが発生します（何かに割り当てる必要さえありません）。BOB はメソッド内でのみ定義されているため、これは理にかなっていると思います。

では、クラス レベルでボブを定義するにはどうすればよいでしょうか。

はい、呼び出しを分割して同じオブジェクトを返すか、追加の継承を導入することができることはわかっていますが（おそらくそれを行うことになります）、この方法でも実行できますか？

受信したエラー:
バウンドの不一致: 型のジェネリック メソッド getStanAndJanItem() はMyAbstractClass<I>、引数 () には適用できません。推論されたタイプ Stan は、境界付きパラメーターの有効な代替ではありません<BOB extends Stan & Jan<I>>

私は次のコードを持っています：

if (result!= null) 結果の下に、名前の結果が現在のコンテキストに存在しないことを示す小刻みの線があります。

これを修正する方法がわかりません。私は最初にしようとしましvar result = nullたが、C＃はそれが好きではありませんでした。