16 Feb
2009
16 Feb
'09
4:29 a.m.
"Michael D. Adams"
A bit hurray for strong typing!
Don't forget Algebraic Data Types. Those seem to also avoid many of the sorts of errors that you would see in OO or struct-based (i.e. C) programming.
I think the combination of algebraic data types and strong typing is very potent. Good data modeling lets you build data types that encode/model the legal/valid domain for the data in your application. The narrower your data model, the less room for nonsensical programs. Strong typing enforces the limitations in the data model, and prevents programmers from cheating. -k -- If I haven't seen further, it is by standing in the footprints of giants