Showing data types in Curry
Does Curry have the ability to show or pretty print data types inside the REPL (using PAKCS or MCC)? In Haskell, this functionality is impemented using the type class Show
. Howe开发者_运维知识库ver, no maintained Curry implementation implements type classes. Glancing at the PAKCS libraries, it appears that no abstract data type is given a canonical representation for the user to interact with, but several have separate functions defined for pretty printing them.
For reference, I am implementing several abstract data types for a personal project. Because I have no intention of packaging the code into a compiled program with an interactive user interface, something approximating Haskell's show
function would be convenient.
精彩评论