When casting (for example) date32 -> string, should the result be the
digits of the underlying integer value or a timestamp?

For timestamp -> string the format should probably be ISO8601 since that is
the format used when casting string -> timestamp (if a different format is
used then string -> timestamp -> string will not roundtrip perfectly, which
seems counterintuitive).

Reply via email to