显示 Curry 中的数据类型
Curry 是否能够在 REPL 中显示或漂亮地打印数据类型（使用PAKCS 或 MCC）？在 Haskell 中，此功能是使用 类型类 显示。然而，没有维护的 Curry 实现实现类型类。浏览一下 PAKCS 库，似乎没有为用户交互提供规范的抽象数据类型表示，但有一些抽象数据类型定义了单独的函数来漂亮地打印它们。
作为参考，我正在为个人项目实现几种抽象数据类型。因为我无意将代码打包到具有交互式用户界面的已编译程序中，所以类似于 Haskell 的 show 函数的东西会很方便。
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. However, 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.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论