User loginNavigation 
Can a dynamically typed language support type inference?In a post about Ruby's dynamic typing, I made the claim: Metaprogramming makes the type inference problem equivalent to the halting problem. Am I wrong? Basically, I am wondering if there are type inference algorithms (or better still, implementations) that can handle programming languages where the operations permitted with respect to a variable (a/k/a types) change at run time. Your corrections and pointers to current research and/or implementations would be greatly appreciated. Thanks in advance... By raganwald at 20060818 17:44  LtU Forum  previous forum topic  next forum topic  other blogs  11221 reads

Browse archives
Active forum topics

Recent comments
22 weeks 3 hours ago
26 weeks 2 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 4 days ago
35 weeks 1 day ago
35 weeks 1 day ago
35 weeks 4 days ago
35 weeks 4 days ago
38 weeks 3 days ago