Murato,
I like this alot.
Are we also looking at a Prologesque approach here,
where conversion is externally supported as necessary
and the parser can detect simple type changes and
provide warnings....?!?
Thanks, DW.
===============================================
Message text written by Murata Makoto
>
I propose some design goals:
- It should be possible to do simple type assignment
without validation, which is sometimes too heavy and
not available in your favorite programming language.
- Given an instance, it should be easy for average progammers
to implement simple type assignment. Undestanding of
theoretical computer science (e.g., automata) should not be
required.
- Given a schema as well as some auxiliary descripsions for
simple type assignment, it should be possible to
tell whether simple type assignment is possible for ANY
instance.
<
