Work continues apace on Hyatt, the RDBMS for elitists. The constraint model has been cleaned up. It now features fewer irrelevant functions and a robust logical model that will give most of the people who attempt to use it fits. Next, I need to do some work to get vector domains into a sensible place, and to overhaul the function specification system for domains.
Current idea for that last one: function specs consist of a tuple of the function itself, and the domain of any arguments beyond the first one. The first one must be of the defined domain. To allow binary functions such as addition, there'll be a dummy object that gets replaced with the domain in question during class creation. Ugh... something is fishy with all that...
Idea: domains are created solely as specifications of permissible data, using several validation functions, with default constraint objects. (In other words, they have a default coercer, which can be overridden in specific instances.) Functions register themselves with domains after those domains exist.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment