Являются ли переменные в понимании списка неизменяемыми?

Question

Являются ли переменные в списке понятными неизменяемыми?

[x + 1 | x <- [1,2,3,4,5]] 

Например, в приведенном выше примере, x, кажется, изменить это значение. Это то, что на самом деле происходит, или что-то более сложное в работе здесь?

Answer 1

В Haskell нет переменных, а только значения, привязанные к именам.

Какого список понимание, как это будет заводится в самом деле монадический Список коды:

y = [x + 1 | x <- [1, 2, 3, 4, 5]] 
y = do 
    x <- [1, 2, 3, 4, 5] 
    return (x + 1) 

Тогда это дополнительно получает уменьшенные к использованию >>=:

y = [1, 2, 3, 4, 5] >>= (\x -> return (x + 1)) 

И тогда мы можем смотреть на определение для примера Monad для []:

instance Monad [] where 
    return x = [x] 
    list >>= f = concat (map f list) 
    -- uses the `concatMap` function in the actual definition 
    -- where `concatMap f list = concat (map f list)` 

Так замена return:

y = [1, 2, 3, 4, 5] >>= (\x -> [x + 1]) 

А потом >>=:

y = concat (map (\x -> [x + 1]) [1, 2, 3, 4, 5]) 

Теперь мы можем уменьшить его:

y = concat [[1 + 1], [2 + 1], [3 + 1], [4 + 1], [5 + 1]] 
y = concat [[2], [3], [4], [5], [6]] 
y = [2, 3, 4, 5, 6] 

Так как вы можете видеть, это не значит, что x переменная который изменяет значения, x становится аргументом функции лямбда, которая затем отображается на ta rget list.