For many, many moons, I've examined the early Smalltalk books, small bootstrap Forth systems, Lisp based systems (implementing a large subset of CL decades ago) and the like.
In recent years, I've taken an interest in type systems and typed functional languages. What is the relationship, positive and negative, between static typing in language design and user-transparent and modifiable systems bootstrapped from small kernels? Any elucidation or pointers to prior research greatly appreciated. - S. _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc