-2
rev a b = b a
> t1の私は、それを得ることはありませんか？右サイドでなぜ次関数tのタイプがあり、この関数は<code>t -> (t -> t1) -> t1</code>タイプを持っていない理由
A
答えて
5
b aがにargUに機能bのアプリケーションがある場合は、結果のタイプメンズa。つまり、コンパイラはどれもaとbを推測することができるので、その関数の引数の型とその関数の戻り値の型にはtとという名前が割り当てられ、revには引数と関数その引数を返し、アプリケーションの結果を返します。
1
開始：あなたはabへの適用 - （のはb :: t -> t1それを呼びましょう）を入力し、a（それは、いくつかのタイプa -> bを持っているを持っている）機能をするので、bニーズはこれと互換性があるように持っています - a :: t
意味がない、明らかにbの終域（ここではt1）
関連する問題
- 1. FutureOr <T>は、未来型の具体化タイプがあります<T>/<T>？
- 2. Javaの「public <T> T readObjectData（...クラス<T>タイプ）」の解釈方法は？
- 3. クラス<T>からタイプ参照への変換<T>
- 4. IList <T>にIEnumerableを取るInsertメソッドがない理由<T>？
- 5. キャスティングリスト<T>リスト<String>タイプ
- 6. タイプ「オブジェクト{System.Collections.Generic.List <T>}」VS「System.Collections.Generic.List <T>」
- 7. は、私は、これはTであっても</p> <pre><code>f(List(1,2,3), "this is a string") </code></pre> <p>ため、エラーなしで動作し、次の関数に</p> <pre><code>def f[T](l:List[T], v:T) </code></pre> <p>を持って、正確にT
- 8. タイプ<T1>のオブジェクトから<T>のオブジェクトを作成するコンストラクタ
- 9. IEnumerable.Empty <T>（）で、IEnumerableでないのはなぜですか？<T> .Empty（）？
- 10. なぜBufferedReader :: lines（）は、Spliterator <T>ではなく、<T>のイテレータ<T>を作成しますか？
- 11. 適切なストレージ値のタイプを取得していますか？</p> <pre><code>struct Base {} template<typename T> struct Box : Base { template<typename... Args> Box(Args&&... args) : t(forward<Args>(args)...) {} T t; } </code></pre> <p>をそして、我々は関数MakeBoxがあります：
- 12. .CreateObjectSet <T>、.Set <T>、および.CreateQuery <T>の違いは？
- 13. 型引数のMicrosoft.Xna.Framework.Graphics.VertexBuffer.SetData <T>（T []）は、「私が持っている
- 14. 戻り式式Promise <T>は、タイプに割り当て可能ではありませんPromise <T>？
- 15. ジェネリックの違いは、<T extends Number＆Comparable <T>>であり、TはComparable <？ numbers>
- 16. なぜKotlinアレイ<T>は、反復処理可能<T>
- 17. Javaジェネリックスの解釈方法<T> T、<T,V>クエリ<T>、クラス<T>？
- 18. Java汎用タイプ：List <？数を拡張>とList <Tは数>
- 19. キュー<T>対リスト<T>
- 20. X X（t ...）は、vexing parseを使用して関数宣言を実行できますか？私はそれを見ていたとき、私は</p> <pre><code>template<typename ...T> void f(T ...t) { X x(t...); // ... } </code></pre> <p>として関数テンプレートを書いていた
- 21. `TransformingRandomAccessList <T>`を `List <T>`
- 22. Collections.sort（）の宣言：</p> <pre><code>public static <T extends Comparable<? super T>> void sort(List<T> list) </code></pre> <p>及びません：<? super T>ではなく<T>
- 23. SortedSet <T> vs HashSet <T>
- 24. Stack <T>はICollectionを実装していますが、ICollectionのメソッドを持っています<T>
- 25. lambdaがcvとrefを削除するのはなぜですか？</p> <pre><code>auto f = [](const T& var){ return var; }; </code></pre> <p><code>f</code>の戻り値の型が<code>T</code>（ない<code>const T&</code>）である理由：
- 26. はなぜDbSet <T>がデータベース
- 27. Java：関連する2つのジェネリックでマップを宣言するタイプ（<T>マップ<Class <？extends ClassA <T>>、クラス<？extends ClassB >>
- 28. なぜ私はBlockingCollection <T>をIReadOnlyCollection <T>に割り当てることができませんか？
- 29. Ninjectコンテキストは、私は一般的なインタフェース<code>IRepository<T></code>との2つの実装<code>xrmRepository<T></code>と<code>efRepository<T></code></p> <p>を持っているワット/オープンジェネリック
- 30. Tをリストに追加する方法<T>リスト<T>は「動的」、Tは「オブジェクト」となります。
あなたはどんなタイプを期待していますか？ – Bergi