[Ur] Five weird questions involving kind `Name` vs type `string`

[Adam Chlipala]

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
>
> ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150726/3955ed6a/attachment.html>