The document discusses the challenges of unsound type systems in JavaScript, highlighting their potential to create a false sense of security and difficulties in error handling. It presents examples of common JavaScript pitfalls and suggests a potential solution with a new language, JS++, incorporating strong typing to improve reliability. The author notes Java's success due to features like garbage collection and cross-platform support, proposing that JS++ could enable developers to focus on important aspects of their code.

1. Solving Business
Problems with
JS++
ROGER POON
@ROGERPOON
ROGER@ROGER.NETonux.com/jspp

2. Sound vs. Unsound
Unsound type systems are
untrustworthy
False sense of security
Extremely hard problem to solve

3. Example: Forgiving
var a = 1;
var b = "Some message";
// Hundreds of lines later...
console.log(a - b); // NaN

4. Example: Unforgiving
function getMsg() {
if (maybeTrue()) {
return "Some message";
}
}
var ch = getMsg().charAt(0);
console.log(ch); // Never runs

5. Defining "crash" in JS
Form doesn't submit
Clicking button/link does
nothing
Node.js server goes down

6. What if the compiler could find
all your errors for you?

7. 1000 Execution Paths
foobar();

8. List of JS++ Types
bool
string
void
float
double
int
unsigned int
short
unsigned short
byte
signed byte

9. Hello World
external console;
console.log("Hello World");

10. jQuery in 2 (or 3) Lines
external jQuery, $;
string url =
$("#logo").attr("src");

11. Why was Java Successful?
Garbage Collection
Cross-platform
Developers can focus on what
MATTERS

13. Thank You!
ONUX.COM/JSPP