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.
精彩评论