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  20224 reads

Browse archivesActive forum topics 
Recent comments
4 min 25 sec ago
3 hours 47 min ago
5 hours 42 min ago
9 hours 5 min ago
9 hours 5 min ago
9 hours 33 min ago
13 hours 35 min ago
13 hours 43 min ago
14 hours 48 min ago
15 hours 39 min ago