4 ms·

I would imagine having union types and such would make something like this a bit more powerful. Not entirely sure, but having a hierarchy of http contentencodin

by hderms 12y ago

I would imagine having union types and such would make something like this a bit more powerful. Not entirely sure, but having a hierarchy of http contentencoding types, and http error/success types could make it easier to write code that handles all error conditions. Also having a type for sanitized strings versus unsanitized strings. That being said, I've never used a language with a sophisticated type system to do web programming.

grey-area 12y ago
Not entirely sure, but having a hierarchy of http contentencoding types, and http error/success types Yes the Scala server shown was an interesting example, though I'm not sure if it would be impossible to do in other languages or just harder. Also having a type for sanitized strings versus unsanitized strings. The golang stdlib does do this, it's quite handy as a reminder.