Объясните ,пожалуйста, почему если я генерирую список из i значений

Question

Объясните ,пожалуйста, почему если я генерирую список из i значений

и возвращаю в контексте списка пары этих значений,то получаются пары (i,i) а если создаю еще один такой же и возвращаю первый список и новый ,то получаются пары из всех возможных значений?

#haskell #programming #russian

0

01.01.2024

4 ответов

21 просмотр

2718 Автор вопроса

Михаил
Условно говоря, в одном случае ты берёшь любое зна...

Спасибо большое,когда переписано с помощью лямбды,то все становится понятно

0

10 месяцев назад

Cheese Syrowiecki

Михаил
Условно говоря, в одном случае ты берёшь любое зна...

всё правильно, только indices в единственном числе будет index

0

10 месяцев назад

Михаил

Cheese Syrowiecki
всё правильно, только indices в единственном числе...

Точно, спасибо. Даже странно, что я так ошибся.

0

10 месяцев назад

Михаил · Accepted Answer

Условно говоря, в одном случае ты берёшь любое значение из списка и возвращаешь его пару с самим собой, а в другом ты берёшь одно любое число и другое любое число, делая пару из них — вот из-за этого и получаются все пары. Для списков можно использовать вместо do-нотации такую запись: another i = [(indice, indice) | indice <- [1..i]] another' i = [(indice, indice') | indice <- [1..i], indice' <- [1..i]] Как видишь, тут буквально записано, что во втором случае мы получаем пары произвольных чисел. P.S. Что мы имеем, если избавимся от do-нотации: pure x = [x] xs >>= f = [y | x <- xs, y <- f x] another i = [1..i] >>= (\indices -> pure (indices, indices)) another' i = [1..i] >>= (\indices -> [1..i] >>= (\indices1 -> pure (indices, indices))) Переписываем: another i = [y | x <- [1..i], y <- [(x,x)]] = [(x,x) | x <- [1..i]] another' i = [y | x <- [1..i], y <- [y' | x' <- [1..i], y' <- [(x,x')]] = [y | x <- [1..i], y <- [(x,x') | x' <- [1..i]]] = [(x,x') | x <- [1..i], x' <- [1..i]]

169 похожих чатов

Объясните ,пожалуйста, почему если я генерирую список из i значений

4 ответов

Похожие вопросы