[Home] [By Thread] [By Date] [Recent Entries]
On Mon, Nov 11, 2013 at 5:38 PM, Michael Kay <mike@s...> wrote:
Giant +1 to the above. Very well put. I tend to use the term "strong static typing" as a shortcut for the various systems of constraints from mainstream imperative programming and RDBMS, inherited into XML from both. For me the problem with not with the very idea of constraints but with the widespread nature of strong static typing. I agree with you that constraints are an imperfect response by imperfect programmers developing applications for imperfect humans in an imperfect world. But strong static tying is not really the language of the real, imperfect world. We miss the opportunity to allow developers to express constraints in language flexible enough for the real, imperfect world. And there is nothing esoteric about what such better constraints systems would look like. DTLL is a pretty good start. Another problem is one you hinted at: "So why do you reject the data, rather than just marking it suspect?" Rather than making constraint testing a 0 or 1 gateway, why not have systems that support annotations based on assertions, and these can be dealt with further along the process chain, including by rejecting the input if necessary, or perhaps through some sort of fixup or notification of humans in a governance role. Again there is a useful exemplar of such a system: Schematron.
Uche Ogbuji http://uche.ogbuji.net
Founding Partner, Zepheira http://zepheira.com
Author, Ndewo, Colorado http://uche.ogbuji.net/ndewo/ Founding editor, Kin Poetry Journal http://wearekin.org Editor & Contributor, TNB http://www.thenervousbreakdown.com/author/uogbuji/ http://copia.ogbuji.net http://www.linkedin.com/in/ucheogbuji http://twitter.com/uogbuji
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] |

Cart



