haskellでの式のタイプ

Question

私はハスケルを初めて使いました。私は言語の概念のいくつかを理解するのに少し苦労しています。

私は、次の式があります。

\f x → (f x,f 1)

そして、私の理解から、私はそれを言うことができます。

• 最初に、私は本当に理由は私が何であるかをFと言うことはできません情報がない、 なので、私は何でもできると言う。次に、（FX）のアプリケーションから判断

  それはタイプA-の 機能だと言うことができ> X ::そして（1 F）のアプリケーションから判断

  私はそれを言うことができるここで、B Integer型のものであり、したがって、xは同じ型である

式全体が型であるなぜ、私は本当に理解していない：

(Integer → b) → Integer → (b, b)

私は少し推測を持っていると私はそれを言うつもりです：

(Integer → b)は、関数fのタイプなので、それはb型

Integerを受け取り、整数と返すには、xの型であります

(b b)は、2つの関数の型ですか？

誰かが正しい方向に私を向けることができますか？ありがとうございます

Answer 1

あなたは正しいです。

1 :: Integerにfが適用されているので、f :: Integer -> bに適用されます。

fはxにも適用されているので、x :: Integerです。

ラムダの結果はfというアプリケーションのタプルなので、結果の型は(b, b)です。

ラムダの型はのタプルにIntegerをとる関数にfの型を取る関数です。

編集

c b a = a b 

はb :: t1を想定します。

がbに適用されているので、a :: t1 -> tと言うことができます。

cがbにaを適用した結果に（tを）a（t1 -> t）のタイプのものにb（t1）のタイプのものを取るので、我々はc :: t1 -> (t1 -> t) -> tことを言うことができます。

Answer 2

ラムダ全体が関数fとxを入力として受け取ります。それは のペアを生成します。ペアの最初の要素はfをxに適用した結果、2番目の要素はfを1に適用した結果です。f 1から、fへの入力はNumタイプクラスに制限する必要があります。

getPair :: Num a => (a -> b) -> a -> (b, b) 
getPair =   \f   x -> (f x, f 1) 

唯一の制約は、あなたがそれはかなり正しいんだNum a =>

getPair id 8.9 => (8.9, 1.0) 
getPair (\x -> x > 0) (-9.8) => (False, True)