Counter point: This has nothing to do with the programming language in question. The anti-abstraction, everything must be concrete argument leads to madness. Y

Counter point: This has nothing to do with the programming language in question. The anti-abstraction, everything must be concrete argument leads to madness. You can do type oriented design with python3 or typescript. Since writing this, I've discovered other systems with the same general philosophy: * Avro IDL * Fuschia/Zircon and the associated IDL (FIDL) https://adsharma.github.io/flattools-programs/ https://adsharma.github.io/flattools-programs/