From: Pascal Costanza
Subject: Static typing in dynamically typed languages...
Date: Fri, 15 Dec 2006 08:51:00 +0000
Message-ID: <4uf5vlF17sg5fU1@mid.individual.net>

Hi,

See http://lambda-the-ultimate.org/node/1910 and 
http://doi.acm.org/10.1145/1176617.1176755

Also google for "soft typing."

Someone should write a paper about the type inferencer in the Python 
compiler (CMUCL and SBCL). To the best of my knowledge, it hasn't been 
described well in any paper, but should be, because the topic seems to 
become "hot".


Pascal

-- 
My website: http://p-cos.net
Common Lisp Document Repository: http://cdr.eurolisp.org
Closer to MOP & ContextL: http://common-lisp.net/project/closer/

• Re: Static typing in dynamically typed languages... Madhu
• Re: Static typing in dynamically typed languages... Madhu
  • Re: Static typing in dynamically typed languages... Pascal Costanza

From: Madhu
Subject: Re: Static typing in dynamically typed languages...
Date: Fri, 15 Dec 2006 16:25:38 +0000
Message-ID: <m3vekd15z1.fsf@robolove.meer.net>

* Pascal Costanza <···············@mid.individual.net> :
| Someone should write a paper about the type inferencer in the Python 
| compiler (CMUCL and SBCL). To the best of my knowledge, it hasn't been 
| described well in any paper, but should be, because the topic seems to 
| become "hot".

(This link was posted on CLL recently)

The python compiler for CMU Common Lisp. Robert.A.MacLachan, CMU, 1993
http://www-2.cs.cmu.edu/~ram/pub/

--
Madhu

From: Madhu
Subject: Re: Static typing in dynamically typed languages...
Date: Fri, 15 Dec 2006 16:28:50 +0000
Message-ID: <m3slfh15tp.fsf@robolove.meer.net>

* Pascal Costanza <···············@mid.individual.net> :
| Someone should write a paper about the type inferencer in the Python 
| compiler (CMUCL and SBCL). To the best of my knowledge, it hasn't been 
| described well in any paper, but should be, because the topic seems to 
| become "hot".

(This link was posted on CLL recently)

The python compiler for CMU Common Lisp. Robert.A.MacLachan, CMU, 1993
http://www-2.cs.cmu.edu/~ram/pub/lfp.ps

--
Madhu

From: Pascal Costanza
Subject: Re: Static typing in dynamically typed languages...
Date: Fri, 15 Dec 2006 16:46:02 +0000
Message-ID: <4ug1qbF18539dU1@mid.individual.net>

Madhu wrote:
> * Pascal Costanza <···············@mid.individual.net> :
> | Someone should write a paper about the type inferencer in the Python 
> | compiler (CMUCL and SBCL). To the best of my knowledge, it hasn't been 
> | described well in any paper, but should be, because the topic seems to 
> | become "hot".
> 
> (This link was posted on CLL recently)
> 
> The python compiler for CMU Common Lisp. Robert.A.MacLachan, CMU, 1993
> http://www-2.cs.cmu.edu/~ram/pub/lfp.ps

Yes, this is a very nice, but also very high-level paper. It doesn't 
give a lot of details on how the type inferencer works, what guarantees 
it gives, what it does in boundary cases, etc.


Pascal

-- 
My website: http://p-cos.net
Common Lisp Document Repository: http://cdr.eurolisp.org
Closer to MOP & ContextL: http://common-lisp.net/project/closer/