Хаскелл: где против пусть

Я новичок в Haskell, и я очень смущен здесь и пусть. Они оба, кажется, обеспечивают аналогичную цель. Я прочитал несколько сравнений между здесь и пусть но у меня возникли проблемы лишь когда использовать каждый. Может ли кто-нибудь предоставить некоторый контекст или, возможно, несколько примеров, которые демонстрируют, когда использовать один над другим?

где и пусть

A where предложение может быть определено только на уровне определения функции. Обычно это совпадает с областью let определение. единственная разница, когда охранники используются. Сфера применения where пункт распространяется на всех охранников. В отличие от рамки let выражение-это только текущее предложение функции и guard, если таковые имеются.

Шпаргалка Хаскелла

The Haskell Wiki очень подробно и предоставляет различные случаи, но использует гипотетические примеры. Я нахожу его объяснения слишком краткими для новичка.

преимущества Let:

f :: State s a

f = State $ x -> y

   where y = ... x ...

управление.Монада.Государство

не будет работать, потому что куда относится
соответствие шаблону f =, где нет x
находится в поле зрения. Напротив, если бы вы имели
начал с let, а потом не стал бы
иметь тревогу.

Haskell Wiki on Преимущества Let

f :: State s a

f = State $ x ->

   let y = ... x ...

   in  y

преимущества Where:

f x

  | cond1 x   = a

  | cond2 x   = g a

  | otherwise = f (h x a)

  where

    a = w x



f x

  = let a = w x

    in case () of

        _ | cond1 x   = a

          | cond2 x   = g a

          | otherwise = f (h x a)

объявление против выражения

Haskell wiki упоминает, что здесь предложение является декларативным, в то время как пусть выражение выразительным. Помимо стиля, как они работают по-разному?

Declaration style                     | Expression-style

--------------------------------------+---------------------------------------------

where clause                          | let expression

arguments LHS:     f x = x*x          | Lambda abstraction: f = x -> x*x

Pattern matching:  f [] = 0           | case expression:    f xs = case xs of [] -> 0

Guards:            f [x] | x>0 = 'a'  | if expression:      f [x] = if x>0 then 'a' else ...

1. в первом примере, почему это пусть в рамках но здесь нет?


2. можно ли применять здесь в первом примере?


3. могут ли некоторые применить это к реальным примерам, где переменные представляют фактические выражения?


4. есть ли общее эмпирическое правило, чтобы следовать, когда использовать каждый?

обновление

для тех, кто приходит по этой теме позже, я нашел лучшее объяснение, которое можно найти здесь:"введение в Хаскелл".

Давайте Выражений.

выражения Haskell let полезны
всякий раз, когда вложенный набор Привязок
требуемый. В качестве простого примера,
рассмотрим:

let y   = a*b

    f x = (x+y)/y

in f c + f d

набор Привязок, созданных let
выражение является взаимно рекурсивным, и
привязки шаблонов рассматриваются как ленивые
шаблоны (т. е. они несут неявный
~). Единственный вид деклараций
разрешены сигнатуры типов,
привязки функций, и узор
фурнитура.

Предложения Where.

иногда удобно к объему
привязки над несколькими охраняемыми
уравнения, для которых требуется где
статья:

f x y  |  y>z           =  ...

       |  y==z          =  ...

       |  y<z           =  ...

     where z = x*x

обратите внимание, что это не может быть сделано с выражением let, которое охватывает только выражение, которое оно заключает. Предложение where допускается только на верхнем уровне набора уравнений или выражения case. Те же свойства и ограничения на привязки в выражениях let применяются к тем, в которых пункты. Эти две формы вложенной области кажутся очень похожими, но помните, что выражение let является выражением, тогда как предложение where не является -- это часть синтаксиса объявлений функций и выражений case.