I wrote up some thoughts about my desire for strong type systems in frontend development. I'll be exploring these thoughts more in further entries.
@neauoire I just realized this statement can be interpreted two ways.
Do you mean an optional type system (like TypeScript)?
Or do you specifically mean optional types (like string? or Option<string>)?
@maxdeviant typescript in the browser is my dream. It would be optional, non-breaking, so types are not mandatory.
In my opinion, Types systems should not "alterate" the execution process (except in the case of gradual typing).
JIT-compilation does not have enough maturity to typecheck on the fly, so i'm really glad to have a pre-static analysis.
I definetely do not like the distinction between strong and weak typing. An I prefere "static type checking" versus "dynamic type checking". (For example, Ruby and Erlang are strongly typed languages since they avoid implicit coersion)
Revel in the marvels of the universe.