On: Back-end languages are coming to the front-end

[Supermancho]

> This is wrong; tests and type systems have different purposes.

For decades, companies have prospered without a strong type system and using tests for type assurance ad hoc. Usually when it's worrisome or has been problematic. You can say it's wrong (conceptually, theoretically, etc) and yet it people continue to do it. That's interesting to think about.

[whynaut → Supermancho]

don't think it matters since the upthread discussion is more about understanding and refactoring code, not ensuring correctness.

[Tade0 → whynaut]

Tests are a great way of explaining how a system works. Arguably better than types in some instances.

In any case I would refrain from using absolutes like "wrong" for something that clearly works for some people in certain circumstances.