Your questions all seem like variations on the same theme, and they have
a common answer: no, it is provably impossible to "convert a string into
a name" in Ur. Names are supposed to be determined at compile time, but
the features you're asking about would break that rule, and the compiler
would get very confused, without serious changes.
On 07/26/2015 04:51 PM, Stefan Scott Alexander wrote:
I'm curious about differences (and possible relationships or
conversions?) between:
- things of kind `Name`
- things type `string`
I'm fairly certain the answers to questions (1) and (2) and (3) below
are all "No".
The answers to questions (4) and (5) are probably also "No" - but
maybe not...
----------
Questions:
(1) Given a string such as:
"Field1"
is there any way to refer to the corresponding Name, ie:
#Field1
?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
