not all strings are valid, and that's beautiful
1
25
Conversation
thinking about dependently typed strings
2
14
Types of serialised data? 🤔
2
2
yeah, something like that
1
putting words to my vague thoughts: we have lots of different types of strings but they're very ad hoc, e.g. "utf8 string", "ascii string", "bytestring", "valid identifier", "valid json string". these are all one-offs. is there a "string type family" that unifies all of these?
2
3
For this I'm wondering if it is better to refine the string with a predicate for the different encodings? But yeah I dunno.
1
1
You might want APIs abstracting over a number of different encodings. Now I'm also considering stuff like what the Gibbon people are doing:
1
2
Also thinking about ztd.text maybe: