Haskell Increment by One

Question

Пытается создать программу Haskell, которая увеличивает каждое число в списке на единицу.

module Add1List where 
add1_list_comp :: [Integer] -> [Integer] 
add1_list_comp [x] = [x + 1| x <- [x]] 

Это работает, когда я называю это add1_list_comp [3] ... это дает мне [4]

Но когда я add1_list_comp [3, 4, 5] ... он бросает мне ошибку говоря

«неисчерпывающих узоры в функции add1_list_comp "

Любая помощь будет очень признательна!

Answer 1

add1_list_comp = map succ 

что просто

или в пути

add1_list_comp xs = [x + 1| x <- xs] 

проблема с вашим кодом, что

add1_list_comp [x] 

делает сопоставление с образцом в списке с одним пунктом, поэтому он не работает в списке с несколькими элементами.

Answer 2

Я вижу, что на вопрос был дан ответ, но, возможно, я могу объяснить немного больше. Аргументом функции является модель соответствует, а общие правила

(x:xs) 

х глава списка и хз есть хвост из списка и потенциально пустой список

[] 

пусто список

[x] or (x:[]) 

те же что список только с одной переменной

и имя без конструктора, такое как «[]», «:», «(,)» вокруг, могут совпадать с чем угодно, поэтому, если вы хотите соответствовать специальному случаю, вы должны поместить специальный случай перед общим шаблоном ,

length [] = 0 
length [x] = 1 
length (x : xs) = 1 + length xs 

BTW, вообще говоря, всегда будет функция более высокого порядка, если вы хотите что-то сделать со списком. для случая

add1 xs = map (+1) xs 

симпатичнее и воспользовался встроенной в библиотеке, и вы также можете сделать точку бесплатную версию этого

add1 = map (+1) 

Answer 3

Ну на самом деле, так как тема состояний Increment»одним «без определения того, какой тип будет увеличиваться на единицу, только ради посетителя, который оказался здесь, давайте дадим решение, которое увеличит любой функтор на один, что, конечно, включает в себя тип списка.Так;

Список функтор

*Main> fmap (+1) [1,2,3] 
[2,3,4] 

Может быть, функтор (id относится к Nothing)

*Main> fmap (+1) (Just 1) 
Just 2 

Либо функтор (id относится к Left _)

*Main> fmap (+1) (Right 2) 
Right 3 

IO функтор

*Main> fmap ((+1) . read) getLine 
2017 
2018