Преобразуйте список [String] в список [Double] в Haskell

Question

Я пишу функцию для преобразования списка String (считанного из файла CSV) в список парных разрядов. Это дает мне ошибку в 3-й строке.

stringToDouble :: [String] -> [Double] 
stringToDouble [] = error "empty list" 
stringToDouble [x] = read x :: Double -- the `read` gives me an error 
stringToDouble (x:xs) = stringToDouble xs 

Это потому, что я не помещаю преобразованное Двойное в список, который необходимо вернуть?

Answer 1

Ошибка возникает из-за того, что read x имеет тип Double, а не [Double], но в его нынешнем виде ваша функция не будет работать должным образом даже с этим исправлением.

Давайте возьмем вашу функцию и поместим ее в слова: «Возьмите передний элемент списка строк, прочитайте его как двойной, а затем сделайте то же самое с остальной частью списка». Теперь давайте посмотрим на вашу функцию:

stringToDouble :: [String] -> [Double] 
stringToDouble [] = error "empty list" 
stringToDouble [x] = read x :: Double -- Error 
stringToDouble (x:xs) = stringToDouble xs 

Теперь давайте применим исправление к нему. Кроме того, нет причин для ошибки в пустом списке; просто введите и пустой список парных:

stringToDouble :: [String] -> [Double] 
stringToDouble [] = [] 
stringToDouble [x] = [read x :: Double] -- Put the single value into a list 
stringToDouble (x:xs) = stringToDouble xs 

Проблема заключается в рекурсивном шаге. Вызов stringToDouble в списке совпадает с вызовом stringToDouble в хвосте списка. Первый элемент просто отбрасывается. Вы хотите преобразовать голову и вернуть ее обратно в список.

stringToDouble :: [String] -> [Double] 
stringToDouble [] = [] 
stringToDouble [x] = [read x :: Double] -- Put the single value into a list 
stringToDouble (x:xs) = (read x :: Double) : stringToDouble xs 

Где (:) оператор используется для прикрепления элемента к передней части списка. И при этом средняя линия даже не нужна, поскольку рекурсивный шаг будет обрабатывать преобразование, а пустой шаг списка будет обрабатывать условие остановки.

stringToDouble :: [String] -> [Double] 
stringToDouble [] = [] 
stringToDouble (x:xs) = (read x :: Double) : stringToDouble xs 

Теперь реально, вы могли бы, вероятно, удалить :: Double часть и Haskell бы понять, что вы имели в виду с ограничением по типу функции, но это не повредит, и иногда помогает читаемость покинуть его in.

Answer 2

Вы правы - read x :: Double имеет тип Double, в то время как тип возвращаемого значения функции типа [Double] (что означает «список Double»).

Что-то вроде этого:

stringToDouble [x] = [read x :: Double] 

должен работать.

Обратите внимание, что если вы пытаетесь преобразовать каждый элемент списка самостоятельно, вы должны написать свою функцию, используя map, вместо использования явной рекурсии. Если f имеет тип String -> Double, то map f будет функцией типа [String] -> [Double].