Tony Morris

How many of our JS bugs could have been caught by a type system? Only all of them. But it's probably not worth it.

@purefn @dibblego Then use typescript. There's a reason why in static typed languages we say they're enforced AT COMPILE TIME

@johnnycbadde @purefn isn't that another silly one with broken variance, a fact proved in Coq, a decent type system?

@dibblego @purefn If you understand language design you'd know why there's no mainstream interpreted language that's statically typed

@johnnycbadde @purefn only? Please help me understand language design and therefore your proposition.

@dibblego @purefn No, I have better things to do thanks! Go read some books and google instead!