Исчисление внутри рекурсивной функции

Question

Я хочу сделать что-то вроде:

>enumerate ["banana", "potato", "ice"] 
[(1, "banana"), (2, "potato"), (3, "ice")] 

Я писал:

enumerate :: [String] -> [(Int, String)] 
enumerate [] = [] 

Как я могу контролировать/управлять INT счетчик? Есть ли способ сделать это без поддержки?

Обновление: Я знаю о Zip Функция. Но для изучения вопроса я хочу реализовать свою собственную функцию zip.

Update 2: В настоящее время Кодекс

Это то, что я сделал до сих пор, используя функцию поддержки. Учитывая это:

1) Я хочу реализовать свою собственную функцию zip;
2) Я не хочу, чтобы изменить функцию:-структуру

enumerate :: [String] -> [(Int, String)] 

enumerate :: [String]->[(Int,String)] 
enumerate [] = [] 
enumerate list = aux 1 list 


aux :: Int->[String]->[(Int, String)] 
aux _ [] = [] 
aux i (x:xs) = [(i, x)] ++ aux (i+1) xs 

Можно ли улучшить эту функцию? Поскольку я не хочу добавлять еще одну функцию к функции, я думаю, что функция поддержки - единственный способ пойти, правильно?

Answer 1

Существует уже функция, которая называется zip (zip :: [a] -> [b] -> [(a,b)]). Теперь для вашей функции вы можете просто передать список с 1,2,... в качестве первого аргумента и получить свой результат, например.

enumerate :: [String] -> [(Int, String)] 
enumerate = zip [1..] 

EDIT:

Если вы хотите реализовать свою собственную zip функцию, просто используйте:

zip' :: [a] -> [b] -> [(a,b)] 
zip' _ [] = [] 
zip' [] _ = [] 
zip' (x:xs) (y:ys) = (x,y):zip' xs ys 

Берет два списка ([a] и [b]) и поместить каждый элемент в кортеж. Края являются ядрами, когда один из списков пуст, вы возвращаете пустой список. В противном случае вы используете сопоставление шаблонов, чтобы первый элемент списка поместил их в кортеж и снова вызвал zip' с хвостом списка.

Answer 2

Как выяснены вы хотите реализовать свой собственный почтовый индекс:

zip' [] _ = [] 
zip' _ [] = [] 
zip' (x:xs) (y:ys) = (x,y) : zip' xs ys 

Answer 3

Не бойтесь написать функцию поддержки, на самом деле, рассматривают его как возможность: Почему произвольное начальное значение 1? Почему нет функции

>enumerateFrom 42 ["banana", "potato", "ice"] 
[(42, "banana"), (43, "potato"), (44, "ice")] 

После того, как у вас есть, что enumerate легко.

Edit: Либо дайте aux функцию реальное имя, ИМХО enumerateFrom хорошо или переместить его в пункте where, если вы знаете, что уже. И послушать chi, используйте x : ... вместо