type-inference

function-composition

Haskell:型推論と機能構成

この質問はこのからヒントを得たものです。 1335530#1335530 別の質問への回答です。これは、次のように定義された関数を使用して、リストから要素のすべての出現箇所を削除できることを示します。 removeall =フィル...
auto

C ++ 11 autoキーワードではいくらですか?

C ++ 11 autoキーワードではいくらですか? 私は、C ++ 11標準で使用可能な、複雑なテンプレート型用の新しい「auto」キーワードを使用してきました。 しかし、私は次のようなことにも使用しています: auto fo...
c#

C#でグローバル推論変数を宣言できますか?

私は、LINQクエリの異なる結果を処理する変数を1つだけ持つように、switchステートメントの外側でクエリ変数を宣言する必要があります。 下記のコードをご覧ください。 ここでの問題は、変数を初期化しないと推論できないことです。 ...
haskell

パラメトリック多型とアドホック多型

パラメトリック多型とアドホック多型 Java / Scala / C ++言語のジェネリッククラス/関数のポリモーフィズムとHaskell型システムの「アドホック」ポリモーフィズムなどのパラメトリックポリモーフィズムの重要な違いを理解...
haskell

コードにリストが表示されていないときに[String]が推論されたタイプであるのはなぜですか?

コードにリストが表示されていないときにが推論されたタイプであるのはなぜですか? 私はこのテストを持っています: testReadFile = runTestTT $ TestLabel "InteractionDomain.re...
c#

型推論の質問:非汎用メソッドへの汎用メソッド引数

型推論の質問:非汎用メソッドへの汎用メソッド引数 まず、タイトルがあまり良くないことを知っていますが、問題は私の質問を説明する方法すら知らないということです。以下に、私がやろうとしていることの例を示します。 *編集:*はじめに、よ...
c#-3.0

C#ジェネリック:ジェネリック型推論の失敗は、匿名型を使用できないことを意味します

C#ジェネリック:ジェネリック型推論の失敗は、匿名型を使用できないことを意味します `IEnumerable`を受け入れ、リフレクションを使用してプロパティ値を列挙することでエクスポートドキュメントを作成する汎用メソッドを持つクラスエ...
ghc

Haskellの型推論の奇妙さ

Haskellの型推論の奇妙さ ghciからのこの出力を見てください: Prelude> :t Data.Map.lookup Data.Map.lookup :: Ord k => k -> Data.Map...
c#

ラムダパラメータを使用するときに型宣言を減らす方法は?

ラムダパラメータを使用するときに型宣言を減らす方法は? 以下は私が持っているいくつかのコードの大幅に削減されたバージョンです。 public class DataInfo { public DataInfo(string...
.net

C#の「var」型推論

C#の「var」型推論 _ 可能な重複: + _ 今日は次のことを発見したことにかなり驚いた。 SqlDataReader reader = cmd.ExecuteReader(); DataTable schema...
タイトルとURLをコピーしました