ハスケル - スコープ

Question

のコードの下スニペットリストを生成generateUpTo関数を作成する試みの一部ではないがNmaxをしたがってRMAXに依存をpAllSorted。コンパイルしようとすると、コンパイラがでRMAXについて「ない範囲で」エラーを与えるしかし

nmax = rmax `div` 10 

pass = rmax `elem` mot 
fail = rmax `notElem` mot 

generateUpTo rmax = check rmax 
where 
     check pass = pAllSorted 
     check fail = error "insert multiple of 10!" 

、（ここでは何であるか）ライン1,3と4

（どのように）することができますI をgenerateUpToの機能を使用するまで定義しないと、rmaxは未定義になりますか？

Answer 1

あなたはarguementとして、それを通過することなくnmax内部rmax、pass、そしてfailを使用する場合は、generateUpToのwhereブロックに含める必要があります。それ以外の場合は、文字通り「範囲外」です。例：あなたは、これらの機能は、複数の場所で使用したい場合、あなたは可能性だけarguementとしてRMAX accect

generateUpTo rmax = check rmax 
    where 
     check pass = pAllSorted 
     check fail = error "insert multiple of 10!" 
     nmax = rmax `div` 10 
     pass = rmax `elem` mot 
     fail = rmax `notElem` mot 

：

nmax rmax = rmax `div` 10 
pass rmax = rmax `elem` mot 
fail rmax = rmax `notElem` mot 

注 - また、あなたの定義といくつかの問題を持っているように見えますcheck ... passとfailの値checkの値だけがあり、上で定義した関数ではありません。

更新

数nmax（外-どこ-ブロックスコープのバージョン）を使用するように、あなたはそれにRMAXの値を渡す必要があります。これと同じように：

nmax rmax -- function application in Haskell is accomplished with a space, 
      -- not parens, as in some other languages. 

ただし、nmaxの定義で名前rmaxはもはや重要ではありません。これらの機能はすべてまったく同じです：

nmax rmax = rmax `div` 10 
nmax a = a `div` 10 
nmax x = x `div` 10 

同様に、あなたはrmaxという名前の値でそれを呼び出す必要はありません。

nmax rmax 
nmax 10 -- this is the same, assuming rmax is 10 
nmax foo -- this is the same, assuming foo has your 'rmax' value. 

Answer 2

はちょうどあなたがcheckでやったように、generateUpToのwhere句にnmax、passとfailの定義を置きます。

Answer 3

nmax rmax = rmax `div` 10 

pass rmax = rmax `elem` mot 
fail rmax = rmax `notElem` mot 

generateUpTo rmax = check rmax 
where 
    check pass = pAllSorted 
    check fail = error "insert multiple of 10!" 

RMAXは、それが宣言された関数の外に定義されていない関数のパラメータです。この例では、関数nmaxのrmaxは、generateUpToのrmaxとは完全に無関係です。