pure-string? #519
amitu
started this conversation in
Ideas & RFCs
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Our current
string
type allows both pure string data, and UI elements (when using markup feature). Sometimes we have to generate say JSON, where we want pure string.We either do auto conversion of UI string to string always, then we do not need two types, or we have two types and more strict programs/gaurantees.
Beta Was this translation helpful? Give feedback.
All reactions