User loginNavigation |
Dependent Types for JavaScriptDependent Types for JavaScript, by Ravi Chugh, David Herman, Ranjit Jhala:
Some good progress on inferring types for a very dynamic language. Explicit type declarations are placed in comments that start with "/*:". /*: x∶Top → {ν ∣ite Num(x) Num(ν) Bool(ν)} */ function negate(x) { if (typeof x == "number") { return 0 - x; } else { return !x; } } By naasking at 2013-03-23 15:08 | Object-Functional | Theory | Type Theory | other blogs | 33328 reads
|
Browse archives
Active forum topics
|
Recent comments
14 weeks 5 days ago
19 weeks 11 hours ago
20 weeks 4 days ago
20 weeks 4 days ago
23 weeks 2 days ago
27 weeks 6 days ago
27 weeks 6 days ago
28 weeks 2 days ago
28 weeks 2 days ago
31 weeks 1 day ago