型 'a - > string型の関数の記述

Question

デバッグの目的で、私はOCamlで任意の型の文字列に変換する関数を持っていますが、デバッガは現在持っていますが、

sexplibライブラリは完璧ですが、実際にはwith sexpを追加する必要があるすべてのタイプを変更できないため、camlp4も使用できません。

このような機能はありますか？ （プロダクトコードではありませんので、私は汚れたソリューションを受け入れます）

HaskellのShow typeclassのようなものは、まさに私が意味するものです。 Batteries Includedでのお時間を

おかげ

Answer 1

Stdモジュールが読める文字列に任意の型を変換dump機能を提供します。それは幾分限定されています - タイプについて知らないので、バリアントタイプのコンストラクタを適切に印刷して数字で置き換えることはできませんが、依然としてかなり役に立つかもしれません。タイプ情報は実行時に利用できないため、できるだけ良い情報が得られます。デバッガとトップレベルはより良い表現を得るためにコンパイラのトリッキーを使用しますが、一般的なライブラリでは不可能ではないにしても困難です。

私はどこかもっと洗練されたダンピングライブラリも見ているようですが、どこを思い出さないのですか？