問題タブ [variance]

私はプロローグで関数を作りました:-

なんらかの理由で、分散を計算しようとすると、常に「false」と返されます: 分散([1,2,3],2,VO) または statsList([1,2,3],M,VO)

ただし、これをテストするためだけに使用すると、次のように機能します。

誰かが私が間違っている場所を教えてもらえますか?

上の一様分布の平均と分散を取得するためのMatlabの最良の方法は何[0,1]ですか？

これは、暗黙的型とパス依存型のもう1つです。ここでなぜそれほど冗長にする必要があるのか​​わかりません:(注-答えを見つけました。以下を参照してください）

初挑戦：

2回目の試行：

3回目の試行：

fortran 95で標準偏差と母分散を検索したところ、多くを見つけることができませんでした。それで、誰かが私を助けてくれるかどうか疑問に思います。御時間ありがとうございます。

これが私がしたことです、それはうまくコンパイルされました、しかしそれは間違った値を与えることがわかりました：

以下を考えると：

Crate は不変であるため、次のことはできません (予想どおり)。

しかし、Crate が共変でないのに、なぜこれらでメソッド p を呼び出せるのでしょうか? :

分散の基本原則をいくつか見逃していませんか?

今、私は混乱しています。私は Scala を初めて使用し、数週間使用してきたので、慣れてきたと思いますが、明らかに些細な次のケースで立ち往生しています。

この Java 宣言に相当する Scala が見つかりません。

私は次のことができると思いました：

ただし、次のエラーが発生します。

エラー: タイプ A を含む不正な循環参照です

エラー: オブジェクト Ordering のメソッド Tuple9 で始まる型 scala.math.Ordering[A] の暗黙的な展開の発散

どこが間違っていますか？

ドキュメントによると、PartiallyOrdered[A]は で共変ですがA、Ordered[A]は で不変です (ただし、以前は共変でした) A。

Ordered[A]で共変だったのはなぜAですか? これは明らかな代替原則の違反ではありませんか?

Ordered[A]で反変になれないのはなぜAですか? これにより、たとえばOrdered[Traversible[Char]]an を an として入力できます。Ordered[StringBuilder]これがどのように問題になるかわかりません。

tryCompareToinの署名を理解するのに苦労していPartiallyOrderedます。引数は の任意のスーパータイプのインスタンスにできるようですA。を呼び出してオブジェクトを渡すことができませんでしたtryCompareTo[Any](anything)か? もしそうなら、メソッドの署名はどのように優れていtryCompareTo(that: Any)ますか?

論理的には、順序集合は部分順序集合のサブクラスですが、Scala クラスはこの関係を反映していないようです。これは、共変できないためですOrdered[A]か？APartiallyOrdered[A]

signature でメソッドを書きたいExpression<Func<T, bool>> Foo<T>()。私のクラス U は T を継承しています。このデリゲートに U 固有の処理を含めたいと考えています。問題は、T を暗黙的に U に変換できないことです。このメソッドで U 固有のプロパティにアクセスする方法はありますか?

複雑さ: 処理したいタイプ V : T もあるため、署名で T を U に置き換えることによって分散を利用することはできません。