rfc: rdbms - new type system

[Romain Lenglet]

> Your type system is very flexible.

I am wondering if ASN.1 could be used here.
If one is looking for a flexible abstract syntax notation that 
allows to specify constraints, then ASN.1 seems to be the 
canonical choice.
OTP's asn1 application already provides a parser for the abstract 
syntax, and defines a canonical mapping into Erlang terms:
http://www.erlang.org/doc/doc-5.4.12/lib/asn1-1.4.4.9/doc/html/asn1_ug.html#1.5

Aren't you re-inventing ASN.1? ;-)

-- 
Romain LENGLET