User loginNavigation |
Static type inference & late binding?[Edit: Previous LtU discussions. I guess I'm hoping to learn if there is anything new, new, new!] Where might I find a language that infers static types (a la Haskell, SML, O'Caml) and yet also allows for late binding (a la Smalltalk, Lisp). I know some folks have tried to do it for Smalltalk and even for Lisp, but none are particularly 'main stream'. Are there any other obvious things I'm failing to recall? Ah, the Merd page led me to soft typing! The dates on all the papers in Google hits look old. The only thing that appears to still be kicking is PLT's Mr. Spidey debugger. Has anybody had experience with it, per chance? By raould at 2005-10-05 00:38 | LtU Forum | previous forum topic | next forum topic | other blogs | 10183 reads
|
Browse archives
Active forum topics |
Recent comments
14 weeks 15 hours ago
14 weeks 19 hours ago
14 weeks 19 hours ago
36 weeks 2 days ago
40 weeks 3 days ago
42 weeks 1 day ago
42 weeks 1 day ago
44 weeks 5 days ago
49 weeks 3 days ago
49 weeks 3 days ago