Эквивалентное понимание списка Хаскелла в Изабель - PullRequest
0 голосов
/ 14 мая 2019

Следующее Понимание списка в Haskell :

(i, 1) | i <- [7,7,7,8,8,8,2,2,1,1]

Будет выводить следующие кортежи:

[(7,1), (7,1), (7,1), (8,1), (8,1), (8,1), (2,1), (2,1 ), (1,1), (1,1)]

Каким будет эквивалентный код в Изабель?

1 Ответ

2 голосов
/ 14 мая 2019
[(i, 1) . i <- [7,7,7,8,8,8,2,2,1,1]]

, который будет автоматически переведен на

map (λi. (i, 1)) [7, 7, 7, 8, 8, 8, 2, 2, 1, 1]
...