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 20130323 15:08  ObjectFunctional  Theory  Type Theory  other blogs  19618 reads

Browse archivesActive forum topics 
Recent comments
1 hour 16 min ago
1 hour 21 min ago
2 hours 13 min ago
2 hours 59 min ago
3 hours 20 min ago
3 hours 46 min ago
7 hours 53 min ago
9 hours 31 min ago
11 hours 34 min ago
14 hours 58 min ago