Newsgroups: comp.object,comp.lang.eiffel,comp.lang.c++,comp.lang.smalltalk
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!news.dfci.harvard.edu!camelot.ccs.neu.edu!chaos.dac.neu.edu!usenet.eel.ufl.edu!news.mathworks.com!tank.news.pipex.net!pipex!news.sprintlink.net!in2.uu.net!EU.net!julienas!news.fnet.fr!ilog!news
From: davis@ilog.fr (Harley Davis)
Subject: Re: Why is one OO language more productive than another?
In-Reply-To: mbk@caffeine.engr.utk.edu's message of 12 Sep 1995 16:42:18 GMT
Message-ID: <DAVIS.95Sep13105659@halles.ilog.fr>
Followup-To: comp.object,comp.lang.eiffel,comp.lang.c++,comp.lang.smalltalk
Lines: 25
Sender: news@ilog.fr
Nntp-Posting-Host: halles
Organization: Ilog SA, Gentilly, France
References: <9524602.2157@mulga.cs.mu.OZ.AU> <432u95$ino@newsbf02.news.aol.com>
	<434d9a$ihd@martha.utcc.utk.edu>
Date: 13 Sep 1995 08:56:58 GMT
Xref: glinda.oz.cs.cmu.edu comp.object:38285 comp.lang.eiffel:10839 comp.lang.c++:148739 comp.lang.smalltalk:28297


In article <434d9a$ihd@martha.utcc.utk.edu> mbk@caffeine.engr.utk.edu (Matthew Kennel) writes:

> : Seems like someone could come up with a simple 'lint' for smalltalk that
> : would read through the code and find any obvious typos!
> 
> No you can't, that's the problem.  Because variables do not have type
> in Smalltalk.  

Types are irrelevent.  Typos can be found by simple scope analysis,
completely ignoring type declarations.  More typos can be found if the
language has a module system; we do this analysis in Ilog Talk, a
dynamically typed language with a module system (see
<URL:http://www.ilog.com/> for more information). Type declarations
can be used to find type errors, but he wasn't talking about that.

-- Harley Davis
-- 

-------------------++** Ilog has moved! **++----------------------------
Harley Davis                            net: davis@ilog.fr
Ilog S.A.                               tel: +33 1 49 08 35 00
9, rue de Verdun, BP 85                 fax: +33 1 49 08 35 10
94253 Gentilly Cedex, France            url: http://www.ilog.com/

