0
(int -> int) -> int = <fun>については、対応する発現は、fun x -> (x 1) + 1であり得る。
int -> (int -> int) = <fun>タイプの式は使用できますか？そうでない場合はなぜですか？"int - >（int - > int）= <fun>"型の式を使用できますか？
A
答えて
0
はそれが
int -> (int -> int)型の式を持つことは可能ですか？
括弧が暗示されているが->は、右結合、タイプ= int -> int -> intint -> (int -> int)あるので。だからあなたが探している関数は、2つの引数をとる単純なカルト関数です。 >>（INT - - - > INT）=
let f x y = x + y
0
はい、もちろんです。関数を値として返すだけです。たとえば：
let f j = fun i -> j + i;;
val f : int -> int -> int = <fun>
f 1;;
- : int -> int = <fun>
(f 1) 2;;
- : int = 3
+0
しかし、関連する質問ではありませんが、utopとtoplevelは 'fun x - >（x 1）+ 1'の評価の後にこのようにカッコを入れることになっていませんか？ – alr
+0
@AlexanderRevyakinトップレベルは、タイプの矢印（ ' - >'）が右に関連するルールを使用し、不要なカッコを節約します。 –
関連する問題
- 1. カスタムコンパレータ<int型、ペア<int, int>>
- 2. ベクトル<int> v（istream_iterator <int>（cin）、istream_iterator <int>（））;
- 3. SMLのint - > int - > intと（int * int） - > intの違いは何ですか？
- 4. 型System.Collections.Generic.Icollectionを変換できません<int>をintに
- 5. ラムダ型をint => IEnumerable <string>> int =>タスク<IEnumerable <string> >>に変換しますか？
- 6. タプル<int, int>とint [2]のメモリ使用
- 7. ペア<int,int>ペア
- 8. OCaml - （int - > int） - > int型の関数を与える
- 9. メモリ効率の良いマップ<pair <int,int>、set <int>>代替
- 10. ベクトル<pair <int、pair <int,int> >> Pythonのデータ構造
- 11. 定義、初期化、および使用方法 - ベクトル<ベクトル<ペア< int,int >、int>> v C++では？
- 12. Int型の式のパターンがint型の値と一致しない - > Int
- 13. タプルの要素による並べ替え<int、Tuple <int、int、int、int、string、int >>
- 14. 'System.Collections.Generic.Dictionary <int型、System.Collections.Generic.Dictionary <string,int>> .Dictionary（int型）' の最良のオーバーロードされたメソッドの試合
- 15. "multiset <int、greater <int>> ms1"と "multiset <int> ms2（より大きい<int>（）の違いは何ですか？"
- 16. 式を作成します。式<Func <IMyclass、int >>
- 17. 読み取り専用ディクショナリ<int、List <int>>
- 18. （int - > int） - >（int - > int）はどういう意味ですか？
- 19. マルチセットでの下限の検索<pair <int,int>>（C++）
- 20. リストを変換する<int[]> int [、]
- 21. バイナリ演算子 '> ='は 'String.IndexDistance？'型のオペランドには適用できません。 （別名「オプション<Int>」）と 'int型
- 22. <Int> == <String>
- 23. C++：マップ<string, int>をイテレータを使用してベクトル<map <string, int>>にプッシュバックしますか？
- 24. タイプ "INT->文字列 - > INT->ブール"
- 25. unique_ptr <int[]>またはベクター<int>？
- 26. 'System.Collections.Generic.KeyValuePair <int、dynamic>'を 'System.Collections.Generic.Dictionary <int、dynamic>に変換できません。
- 27. 範囲<Int>を<Int>に変換する方法？
- 28. リターンするC＃Linqクエリ<int,int[]>
- 29. スカラ：（INT、INT）=> intは一致していない（INT、INT）=>のInt
- 30. のstd :: PRIORITY_QUEUE ::ペア<int, int>
厳密INT'、話す（INT - > INT）'の部分です。 '='部分は、トップレベルが関数の "値"をどのように出力するかだけです。たとえば、 '1 + 1 ;;'を評価した後、utopは ' - ：int = 2'を出力します。ここで' int'は式の型で、 '='の後の部分はその値です。 –