Почему функция read при использовании в аннотации своего типа данных "падает"?

@Albey · Регистрация: 10.12.2019

Студворк — интернет-сервис помощи студентам

Например, есть свой тип данных вот такого вида:
data NodeNode = NodeNode ((Int,Int),(Int,Int),Int) deriving (Read,Show)
Допустим, что данные вводятся из текстового файла и необходимо их преобразовать из String в NodeNode, но почему-то при попытке сделать через аннотацию типа:
read "((2,3),(4,5),6)" :: NodeNode
получаем ошибку выполнения
*** Exception: Prelude.read: no parse
в то время как в таком виде:
read "((2,3),(4,5),6)" :: ((Int,Int),(Int,Int),Int)
все работает нормально

@Catstail · 10.12.2019, 12:24

Попробуйте указать конструктор:

Haskell
1
read "NodeNode ((2,3),(4,5),6)"

@Albey · 10.12.2019, 12:30 **[ТС]**

Не проходит к сожалению. Та же ошибка

@Catstail · 10.12.2019, 12:36

А можно и так:

Haskell
1
2
3
4
5
6
data NodeNode = NodeNode ((Int,Int),(Int,Int),Int) deriving (Read,Show)
 
readNN :: String -> NodeNode
readNN s = NodeNode $ read s
 
main = print $ readNN "((2,3),(4,5),6)"

Добавлено через 1 минуту

Haskell
1
2
Main> read "NodeNode ((2,3),(4,5),6)" :: NodeNode
NodeNode ((2,3),(4,5),6) :: NodeNode

Добавлено через 57 секунд
Да, выходной тип для read надо задавать

@Albey · 10.12.2019, 13:17 **[ТС]**

Да, это работает, спасибо за ответ! Хотя совершенно неочевидно, что для АТД надо так вставлять конструктор - "NodeNode ((2,3),(4,5),6)"! И что удивительно, что если подобную штуку проделать со стандартным типом данных, т.е. например: read "Int 356"::Int, то получим Exception! Как-то стройность подхода нарушается... Еще раз спасибо!

@Curry · 10.12.2019, 15:10

Сообщение от Albey

если подобную штуку проделать со стандартным типом данных, т.е. например: read "Int 356"::Int, то получим Exception! Как-то стройность подхода нарушается...

Не нарушается.

Haskell
1
print 356

Выведет "365", а не "Int 356". Что выводится через автовыведенный (deriving) show, то должно читаться через автовыведенный read. Для сложных типов автовывод предназначен, восновном, для отладочных целей.
В реальной программе тип явно указывать нужно редко, обычно выводится

Haskell
1
    let NodeNode ((a,b),(c,d),e) = read "NodeNode ((2,3),(4,5),6)"

Новые блоги и статьи Все статьи Все блоги /
Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .
SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .

@Albey 6 / 6 / 0 Регистрация: 10.12.2019 Сообщений: 10

	Почему функция read при использовании в аннотации своего типа данных "падает"? 10.12.2019, 12:21. Показов 1063. Ответов 5 Метки нет (Все метки) Например, есть свой тип данных вот такого вида: data NodeNode = NodeNode ((Int,Int),(Int,Int),Int) deriving (Read,Show) Допустим, что данные вводятся из текстового файла и необходимо их преобразовать из String в NodeNode, но почему-то при попытке сделать через аннотацию типа: read "((2,3),(4,5),6)" :: NodeNode получаем ошибку выполнения *** Exception: Prelude.read: no parse в то время как в таком виде: read "((2,3),(4,5),6)" :: ((Int,Int),(Int,Int),Int) все работает нормально 0

@Albey 6 / 6 / 0 Регистрация: 10.12.2019 Сообщений: 10
	10.12.2019, 12:30 [ТС]
	Не проходит к сожалению. Та же ошибка 0

@Albey 6 / 6 / 0 Регистрация: 10.12.2019 Сообщений: 10
	10.12.2019, 13:17 [ТС]
	Да, это работает, спасибо за ответ! Хотя совершенно неочевидно, что для АТД надо так вставлять конструктор - "NodeNode ((2,3),(4,5),6)"! И что удивительно, что если подобную штуку проделать со стандартным типом данных, т.е. например: read "Int 356"::Int, то получим Exception! Как-то стройность подхода нарушается... Еще раз спасибо! 0