Curryには、REPL 内のデータ型を ( PAKCS または MCC を使用して) 表示またはきれいに印刷する機能がありますか? Haskell では、この機能は型 classを使用して実装されます。ただし、維持されている Curry 実装は型クラスを実装していません。PAKCS ライブラリをざっと見てみると、抽象データ型には、ユーザーが対話するための標準的な表現が与えられていないように見えますが、それらをきれいに印刷するために定義された個別の関数がいくつかあります。Show
参考までに、私は個人的なプロジェクトのためにいくつかの抽象データ型を実装しています。インタラクティブなユーザー インターフェイスを備えたコンパイル済みプログラムにコードをパッケージ化するつもりはないので、Haskell のshow関数に近いものが便利です。