On 11/4/05, Paul M Foster <paulf@quillandmouse.com> wrote:
> On Thu, Nov 03, 2005 at 10:32:56PM -0500, chris lee wrote:
>
> > http://research.microsoft.com/os/singularity/
> >
> > could this possibly be the fabled MS Linux?
> >
>
> Not if they're using a "type-safe language" as they claim. C, in which
> Linux is written, is anything but type safe. C++ maaaaybe.
C++ has void pointers, so is not type-safe.
"n order for a language to be completely type safe it either needs to
have garbage collection or place other restrictions on the allocation
and deallocation of memory" (http://en.wikipedia.org/wiki/Type_safety)
Just had to chime in with that. I've been playing with statically and
safely typed languages lately, of which C/C++ is neither. :)
> --
> Paul M. Foster
> -----------------------------------------------------------------------
> This list is provided as an unmoderated internet service by Networked
> Knowledge Systems (NKS). Views and opinions expressed in messages
> posted are those of the author and do not necessarily reflect the
> official policy or position of NKS or any of its employees.
>
-- "There is a theory which states that if ever anyone discovers exactly what the Universe is for and why it is here, it will instantly disappear and be replaced by something even more bizarre and inexplicable. There is another theory which states that this has already happened." -- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"----------------------------------------------------------------------- This list is provided as an unmoderated internet service by Networked Knowledge Systems (NKS). Views and opinions expressed in messages posted are those of the author and do not necessarily reflect the official policy or position of NKS or any of its employees.
This archive was generated by hypermail 2.1.3 : Fri Aug 01 2014 - 19:58:02 EDT