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. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them. Check out our Patreon to see our donations.