F＃関数の構成が基本関数の型を変更しました

Question

私はthis F# wikibookを使っていますが、リンクされたページの関数の構成セクションに表示されているものに混乱しています。私が思い付くことができ

最も簡単な例は次のとおりです。

// int -> int 
let f x = x + x 
// float -> float 
let g x = x + 1.0 

これで結構です。私はこれらの関数の型を簡単に理解し、fsiでそれらを実行し、上記で取り上げた型の値を受け取り、返すことを確認できます。

私は次の行を追加すると、私は理解していない変更を参照してください。

// equivalent to f (g x) 
let fog = f << g 

私がこれを理解する方法では、fはintを期待しているので動作しませんが、gはfloatを返します。

このコンポジションをfsiで定義すると、予想されるタイプのエラーが発生します。これらをすべて.fsxファイルに入れてfsiにすべて送ると、fの署名はfloat - > floatになります。起こっ型推論の

• 範囲：

  は、私は次のように混乱していますか？

• これらをファイルとfsiで定義することの違いは何ですか？

私は検索しようとしましたが、この時点でこれらの質問に対する回答を効果的に見つけることができません。あなたがRTFMに対処する部分を教えてくれるなら、私はRTFMに満足しています。

Answer 1

(+)演算子は汎用型ですが、デフォルトタイプはintなので、コンパイルするコードの残りの部分に応じて、デフォルトの型は適用されません。

これ

はつまり、あなたは、型推論を与えた場合にのみ、この：

let f x = x + x 

それは、intと推測されますが、それは(+)演算子をサポートする他の数値型だったかもしれないが、あなたにはより多くの情報を与えなかったので、デフォルトを使用します。

F＃は、.NETタイプのシステムでエンコードするために、この関数のタイプを選択する必要があります。ただし、定義する場合を除き、inlineをそのまま使用してください。あなたが機能fを使用するラインと共に追加のコードをコンパイルする場合

let inline f x = x + x 

// val inline f : x: ^a -> ^b when ^a : (static member (+) : ^a * ^a -> ^b) 

さて、型推論は、タイプを分析し、より正確な候補を得ることができます。ここで

は単純な例です、新しいスクリプトを開いて、このコードを貼り付けます。今、各ラインで+ 'CTRLを押して、行単位でそれを実行

let f x = x + x 
let v = f 1. 

、それはintを推測し、上の失敗します2行目。

しかし、今は全体のスクリプトを選択し、+ ENTER​​を押すと、それがコンパイルされ、fを使用して次の行の情報を利用することができたので、fはfloatと推測されます。