3 ms·
Eh, I don't agree, despite being very sympathetic to type system sophistication. The fact that you can get Turing complete behavior in some part of a system wi
by dllthomas 6y ago
Eh, I don't agree, despite being very sympathetic to type system sophistication.
The fact that you can get Turing complete behavior in some part of a system with some encoding doesn't mean it's accessible enough that it's relevant when deciding how I am going to accomplish something or (typically) when deciphering what someone else has written.
- jcelerier 6y agoBut as soon as it's turing-complete someone will try to write whatever algorithm with it and you'll have to maintain it.
- volta83 6y agoThe type system is turing complete, and its implementation already supports this, since its required for correctness. People using this feature does not incur any "extra" effort.
- pdpi 6y agoAnd you can refuse to merge those changes and promptly kick the idiot who did that from your team. Or maybe, just maybe, it’s that one case where it actually makes sense. Not all problems are technical. This is the sort of thing that can be solved with people skills.