A better type system?
2006-04-15 17:46![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
flexibeasti just read an essay on the problems faced by Lisp, and the section on "Type Systems" has finally provoked me to ask something i've been wondering for a while now: are there any programming languages where the accepted values of a variable must be declared as part of that variable's type? i mean, seriously, how much time is wasted by programmers being forced to write code to check that all modifications to a variable are acceptable? Why on earth isn't the computer doing this for us?
So - are there any languages that do do this? And i'm not talking about languages where such functionality is merely possible - i imagine that there are a number of languages that merely make it possible. i'm talking about languages that won't let a program run until all variables have, in effect, have had some sort of XML-Schema-like thing declared for them.
Any suggestions?
So - are there any languages that do do this? And i'm not talking about languages where such functionality is merely possible - i imagine that there are a number of languages that merely make it possible. i'm talking about languages that won't let a program run until all variables have, in effect, have had some sort of XML-Schema-like thing declared for them.
Any suggestions?
