Should document validators be written in imperative or functional languages?
They could be done in both, of course, but there are benefits to implementing them in a disciplined functioal language.
Functional languages force you to break down the problem and describe it declaratively. Ths is good discipline because it means your understanding of the problem has to be precise with clear input/output behaviours.
Furthemore, each sub-problem is addressed by smaller functions, each of which must always behave in predictable ways, with guarantees that there will be no interference from the state of other parts of the program - there are no global variables or the state of other objects which can affect the function at all - that's the guarantee of functional programming.
It seems to me that functional programming discipline is ideal for reducing risks in security enforcing software.
I think I'll try clojure to prototype a validator.
No comments:
Post a Comment