User loginNavigation |
Static Analysis for Duck TypingAfter reading about like and wrap in Ecmascript I began thinking about possibility of at compile time checking that parameters passed to functions are a duck for that method. For example say you had: It would see that duck requires aMethod and anotherMethod methods, and then check that all calls to quack pass in types that have these methods. Is something like this possible? Or am I failing to see something important that prevents having static analysis for duck typing languages. By grom358 at 2008-04-07 14:01 | LtU Forum | previous forum topic | next forum topic | other blogs | 9675 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 3 days ago
7 weeks 4 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 2 days ago
25 weeks 5 days ago
25 weeks 5 days ago