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. > >
