3 ms·
They're not worth the effort in C++ because it doesn't have strictly enforced affine/dependent types. The GP is invisioning a language that does.
by akiselev 7y ago
They're not worth the effort in C++ because it doesn't have strictly enforced affine/dependent types. The GP is invisioning a language that does.
- ori_b 7y agoWhy do you need them to enforce that only escaped strings are passed to functions? html::append(html::string text); with an constructor html::string(std::string) that handled escaping seems like it'd work just fine.