[wruza]

I don’t see how having at least some types is more risky than not having them at all. Type system is an instrument that prevents you from e.g. using/setting x.id instead of x.y.id silently and succesfully (for some time). The entire argument is stretched on the particular situation of a malformed input.

I think it is well-known fact among programmers that a prototyping phase of 10kloc+ project requires types. Not for a formal proof, but to help programmers to understand their code better and faster at monday morning through a type error feedback. There is no reason to not use ts the same way there is no reason to not have a ruler and yesterday’s sketches in your toolbox.

Everyone may have their opinion, but this modern “media presence in software development” nonsense goes beyond all limits.