Proper HTTP implementations in proper languages utilize header-name enums for strict checking/matching, and for performance by e.g. skipping unnecessary string allocations, not keeping known strings around, ..etc. Every standard header name will have to added as a variant to such enums, and its string representation as a constant/static.
Not sure how you thought that shares equivalency with random JSON field names.
Proper HTTP implementations in proper languages utilize header-name enums for strict checking/matching (...)
I don't know what you are talking about.
Java provides java.lang.Object.HttpHeaders, which is a constants class that provides static final String fields for the popular request and response headers.
.NET does the exact same thing with it's class Microsoft.Net.Http.Headers.HeaderNames.
I can go on and on.
You just referenced two languages that don't have proper sum types. lol.
Also mentioning Microsoft tech while a certain world event is taking place right now. lol.
You just referenced two languages that don’t have proper sum types. lol.
You're complained about "Proper HTTP implementations in proper languages".
I provided two concrete examples of two of the most popular and production-grade programming language ever developed.
I can provide more.
You then tried to weasel out by moving your goal post from "Proper HTTP implementations in proper languages" to "languages that don't have proper sum types".
I won't waste more of my time with you. Whatever you're posting lacks relevance and does not justify any attention from anyone.
A certain world event being a 3rd party piece of software having a bad update.
Proper HTTP implementations in proper languages utilize header-name enums for strict checking/matching, and for performance by e.g. skipping unnecessary string allocations, not keeping known strings around, ..etc. Every standard header name will have to added as a variant to such enums, and its string representation as a constant/static.
Not sure how you thought that shares equivalency with random JSON field names.
I don't know what you are talking about.
Java provides
java.lang.Object.HttpHeaders, which is a constants class that provides static final String fields for the popular request and response headers..NET does the exact same thing with it's
class Microsoft.Net.Http.Headers.HeaderNames.I can go on and on.
You just referenced two languages that don't have proper sum types. lol.
Also mentioning Microsoft tech while a certain world event is taking place right now. lol.
You're complained about "Proper HTTP implementations in proper languages".
I provided two concrete examples of two of the most popular and production-grade programming language ever developed.
I can provide more.
You then tried to weasel out by moving your goal post from "Proper HTTP implementations in proper languages" to "languages that don't have proper sum types".
I won't waste more of my time with you. Whatever you're posting lacks relevance and does not justify any attention from anyone.
A certain world event being a 3rd party piece of software having a bad update.