Conversation

@micheal65536 I'm a big fan of strict static typing, but the web platform is "stringy" at every layer: url parameters, html attributes, http headers... even the more structured formats, like JSON, have no schema and require every element to be a variant<string, int, float, list, map>.

So you can do static typing internally, but at the boundary there will be a ton of painful conversions and error checking.