type-inference

3熱

1答えて

（Visual-）文字列リテラルのC++テンプレート型推論 - VS 2010 VS VS 2017

文字列リテラルのテンプレート特殊化を追加しようとしている間、VS 2017コンパイラとVS 2010コンパイラの動作の違いに気付きましたVS 2017から）これは、問題のコードです：VS 2017のデフォルトのコンパイラを使用して #include <iostream> template <typename T> struct foo { static const int a

0熱

1答えて

型生成者の抽象型メンバーをスカラーで推論できますか？

例えば trait F[T] { type Out } object F { type Aux[T, out] = F[T] { type Out = out } } def glhf[t, out](implicit f: F.Aux[t, out]): out = ??? 私は、これは、抽出のいずれかの種類（さえ複雑なクロス暗黙の型変数）のための魔法のように動作し、暗黙

1熱

1答えて

Scalaの文字列型推論は

は、私の知る限り理解し、Scalaでは String is an alias for java.lang.String としてはを説明し、Predef.scalaで見ることができます。 type String = java.lang.String だから、本質的に、それらが同じです。しかし、のIntelliJ IDEA 2017年2月5日に、以下のコードは、エラー生成します。ここでは t

0熱

1答えて

タイプ推論JavaScriptのサポート

コンパイラAPIを使用してJavaScriptコードを処理し、タイプ推論を使用して 'object.property' PropertyAccessExpressionノードの 'オブジェクト'のタイプを予測しようとしています。最初のサンプルブローのようなシンプルなものがうまくいきましたが、ほとんどの例が失敗しました。これが意図的なタイプの推論を使用しているのか、適切なコードを書いていないのか不

1熱

1答えて

コックは、このようなシナリオでは、複数のインスタンス

に式を解決し、私は単一の式が複数のインスタンスに解決したい： Inductive SR: Prop := Sen | Inf. Parameter CA S: Prop. Parameter X: SR -> CA -> Prop -> Prop. Parameter X': SR -> CA -> Prop -> Set. Parameter XP: SR -> CA -> Prop -

2熱

2答えて

elmの関数の型シグニチャの取得

私はelm 0.18を使用しています。私は急いで一緒に投げつけたものを束ねる機能を持っているとしましょう。それは動作しますが、タイプシグネチャが何であるか分かりません。エルメットがタイプシグネチャ（またはヒント）を教えてほしいです。たとえば、私はgraphqlを使用し、graphql文字列、デコーダ（型シグニチャを持たない）、およびCmd Msgを受け取り、HttpBuilderを通して実行す

1熱

1答えて

バインドされていないレコードフィールドIDエラー

私はReason-Reactを試しています。私は、コンポーネントの1つにキーを追加しようとすると問題に直面しています。私はTodoItemのリストを状態として取るTodoAppを持っています。私がTodoItemのキーを持っていないとき、アプリはうまく動作します。しかし、私はそれを追加すると、私はコンパイルエラーが発生しています。私は参考のためにここにファイルを追加してい： TodoItem.r

1熱

1答えて

scala - GenericsでasInstanceOfを使用する

ジェネリックでコンパイルに問題があります。 asInstanceOfを使用すると、コードは正常にコンパイルされます。私はasInstanceOfを取り除きたいです。 asInstanceOfの使用に関する他の質問がありましたが、私は助けませんでした。 trait RoundRobin[R <: Resource, F[_] <: mutable.ListBuffer[_]] { self

0熱

1答えて

Scalaの型推論は、非矛盾署名

% scala Welcome to Scala 2.12.3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_111). Type in expressions for evaluation. Or try :help. scala> trait Op[-Y, -Z, +A, +B] { | de

2熱

2答えて

左から右への引数型の推論

私は、（いくつか、例えば5から10の）オプションの存在に基づいてオブジェクトに変更を適用したい場合があります。私は命令的にそれを行うにしたのであれば基本的には、どのような私が目指してることは次のとおりです。 var myObject = ... if (option.isDefined) { myObject = myObject.modify(option.get) } if (