On Aug 29, 2011, at 7:19 PM, Alexandre Bergel wrote:

> RoelTyper is probably what should be interfaced with the automatic completion.

it is. 

Stef
> Other approaches are expensive.
> 
> Alexandre
> 
> 
> 
> On 28 Aug 2011, at 19:04, Frank Shearar wrote:
> 
>> On 28 August 2011 21:18, Sean P. DeNigris <[email protected]> wrote:
>>> 
>>> Damien Cassou wrote:
>>>> 
>>>> 
>>> 
>>> Cool! That would make a big difference. Where are they/what are they called?
>> 
>> I know of Roel Wuyts' RoelTyper
>> (http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/) and Lex
>> Spoon's Chuck (http://www.lexspoon.org/ti/). Matt Might has also
>> written about k-CFA (Control Flow Analysis) for inferring types in a
>> dynamic language (Scheme, in particular) -
>> http://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ -
>> which we might be able to apply to Smalltalk.
>> 
>> frank
>> 
>>> Sean
>>> 
>>> --
>>> View this message in context: 
>>> http://forum.world.st/Pharo-1-4-tp3759684p3774973.html
>>> Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
>>> 
>>> 
>> 
> 
> -- 
> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> Alexandre Bergel  http://www.bergel.eu
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
> 
> 
> 
> 
> 
> 


Reply via email to