Отображение типов данных в карри - PullRequest
2 голосов
/ 09 июля 2011

Имеет ли Curry возможность показывать или печатать типы данных внутри REPL (используя PAKCS или MCC )?В Haskell эта функциональность реализуется с использованием класса типов Show.Однако ни одна поддерживаемая реализация Curry не реализует классы типов.Взглянув на библиотеки PAKCS, выяснилось, что ни одному абстрактному типу данных не дано каноническое представление для взаимодействия с пользователем, но у некоторых есть отдельные функции, определенные для их красивой печати.типы данных для личного проекта.Поскольку я не собираюсь упаковывать код в скомпилированную программу с интерактивным пользовательским интерфейсом, было бы удобно использовать функцию, аналогичную функции show в Haskell.

...