Haskell - Как записать список кортежей в текстовый файл

Я получаю текст из .txt, обрабатываю его. Я получаю гласные и их количество из текста. Я не могу записать список кортежей [(Char, Int)] в текстовый файл. Я хочу, чтобы в каждой строке была буква и ее номер, но я никак не могу это написать.

`

import Data.List
import Char

add :: Eq a => a -> [(a, Int)] -> [(a, Int)]
add x [] = [(x, 1)]
add x ((y, n):rest) = if x == y
    then (y, n+1) : rest
    else (y, n) : add x rest
 
count :: Eq a => [a] -> [(a, Int)]
count = sortBy f . foldr add [] where
    f (_, x) (_, y) = compare y x

ff x = filter (\x->elem (fst x) "aeyioAEYIO") x

fff x = ff (count x)

main :: IO ()
main = do
   src <- readFile "input.txt"
   writeFile "output.txt" (operate src)

operate :: [(Char, Int)] -> String
operate = fff

Выдает ошибку:

*** Term           : operate
*** Type           : [Char] -> [(Char,Int)]
*** Does not match : [(Char,Int)] -> String

Посмотрите, какой параметр вы передаете operate. Каков его тип? Что говорит подпись типа operate, что тип должен быть? Вот ваше несоответствие.

Fyodor Soikin 25.12.2022 02:19

Подсказка: src :: String и fff :: String -> [(Char, Int)].

Joseph Sible-Reinstate Monica 25.12.2022 05:17

@JosephSible-ReinstateMonica Спасибо за ответ, но я не совсем понимаю, что и где менять. Я новичок в Haskell и не все понимаю. Можно поконкретнее, если не возражаете?

Clark Brown 25.12.2022 11:41

@FyodorSoikin Спасибо за ответ, но я не совсем понимаю, что и где менять. Я новичок в Haskell и не все понимаю. Можно поконкретнее, если не возражаете?

Clark Brown 25.12.2022 11:41
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
4
60
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

тип операции неверен, потому что у fff есть тип [Char] -> [(Char, Int)]

operate :: [(Char, Int)] -> String
operate = fff

вывод типа предполагает [Char] -> [(Char, Int)],

хороший но тип возвращаемого значения по-прежнему должен быть [(String, Int)], если мы хотим передать вывод этой функции в formatOne

formatOne :: Show a => (String, a) -> String
formatOne (s, i) = s ++ " : " ++ show i

operate :: String -> [(String, Int)]
operate =  map (\(x,y) -> (x:"", y)) . fff
-- (\(x,y) -> (x:"", y)) this lambda turns first element of tuple from Char to String

-- unlines joins elements of list into string while separating elements with \n
formatAll = unlines . map formatOne

main :: IO ()
main = do
  src <- readFile "input.txt"
  writeFile "output.txt" (formatAll (operate src))

Спасибо за ответ, но теперь я получаю другую ошибку из-за formatAllERROR "":24 - Unresolved top-level overloading *** Binding : formatAll *** Outstanding context : Show b

Clark Brown 25.12.2022 12:16

@ClarkBrown, хм, попробуй вставить вот так writeFile "output.txt" (unlines . map formatOne (operate src))

Almaz Galiev 25.12.2022 12:27

Пробовал, но та же ошибка((( Может ли это быть связано с тем, что у меня Haskell98?

Clark Brown 25.12.2022 12:32

Другие вопросы по теме