Re: Safety and power in languages

bobduff@world.std.com (Robert A Duff)
4 Feb 1996 00:59:11 -0500

          From comp.compilers

Related articles
Possible to write compiler to Java VM? (I volunteer to summarize) seibel@sirius.com (Peter Seibel) (1996-01-17)
Re: Possible to write compiler to Java VM? ncohen@watson.ibm.com (1996-01-29)
Re: Possible to write compiler to Java VM? salomon@silver.cs.umanitoba.ca (1996-01-30)
Safety and power in languages truesoft!sw@uunet.uu.net (1996-02-02)
Re: Safety and power in languages bobduff@world.std.com (1996-02-04)
Re: Safety and power in languages salomon@silver.cs.umanitoba.ca (1996-02-09)
Re: Safety and power in languages truesoft!sw@uunet.uu.net (1996-02-09)
Re: Safety and power in languages mfeldman@seas.gwu.edu (1996-02-12)
Re: Safety and power in languages fabre@gr.osf.org (Christian Fabre) (1996-02-13)
Re: Safety and power in languages eachus@spectre.mitre.org (1996-02-13)
Re: Safety and power in languages darius@phidani.be (Darius Blasband) (1996-02-13)
[1 later articles]
| List of all articles for this month |
From: bobduff@world.std.com (Robert A Duff)
Newsgroups: comp.lang.java,comp.compilers,comp.lang.ada
Date: 4 Feb 1996 00:59:11 -0500
Organization: The World Public Access UNIX, Brookline, MA
References: 96-01-037 96-01-116 96-01-130 96-02-026
Keywords: design

Steve Witham <truesoft!sw@uunet.uu.net> wrote:
>Security and safety in computers are a kind of negative power: by
>allowing less, you know more about what a program will do, without
>having to know or think as much about the program.


Well, *sometimes* that's true, but in general, I disagree.


For example, Lisp feels a *lot* more flexible to me that C, despite
the fact that there are things I can't do in Lisp -- fiddling with
memory addresses at a low level. Because I'm restricted in that way,
I can freely pass pointers around in Lisp (well, *everything's* a
pointer), without worrying about dangling pointers and storage leaks.
IMHO, the "restriction" gives *more* freedom, not less.


Similarly, OOP features make a language more flexible, but you can't
have OOP without some sort of type system (you have to at least
require the programmer to say what sort of object is being created).


- Bob
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.