F＃型推論

Question

私はfsharp型推論で作業していますが、どのように動作するのか理解しようとしています。それはなぜですか

List.filter List.head 

はタイプbool list list -> bool list listですか？

Answer 1

List.filterは（ちょうどFSIにList.filter;;を入力してください）タイプがあります。

> List.filter;; 
val it : (('a -> bool) -> 'a list -> 'a list) 

ので、それが今、あなたは

> List.head;; 
val it : ('b list -> 'b) 

（とそれを養う'a list -> 'a list

で'a -> boolと結果を取ります別の'aだから私はそれを改名しました）そして今あなたは持っています：

'a -> bool ~ 'b list -> 'b 

あなたはこれを統一して見ることができます：

'a ~ 'b list ~ bool list（左手側から）

（->の右手の側から）

• 'b ~ boolしかし、これがすべて一緒になって答えが得られます。F＃の型推論はあなたに与えます：

  'a list -> 'a list 
  ~ ('b list) list -> ('b list) list 
  ~ (bool list) list -> (bool list) list 
  ~ bool list list -> bool list list