Aug. 28, 2011
10:04 p.m.
On 28 August 2011 21:18, Sean P. DeNigris <sean@clipperadams.com> 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.