Slightly OT: static typing
Mon Oct 20 19:30:14 CEST 2003
Has anyone else read "Objects Have Failed" by Richard P. Gabriel?
Regardless of your bias toward or against OOP, I found the sections on
static typing to be somewhat relevant to the current design of Erlang and
its possible future directions. One choice quote:
What the static types are trying to do is to make sure that a
program cannot fail at runtime. Yet, for living systems to be
created, they must be able to sustain a failure and repair
itself. This is part of a doomed attempt to eliminate errors
and write perfect systems.
- Michael Hobbs
 My own personal bias toward OOP is that it is a fine paradigm, but is
significantly overused, especially inheritance. I prefer spatial locality
of code and tend to shy away from systems that allow too much
More information about the erlang-questions