<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">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.<br>
<br>
On 07/26/2015 04:51 PM, Stefan Scott Alexander wrote:<br>
</div>
<blockquote
cite="mid:CAFwK6atcARJuQ0YobHLxVJ6EE6GAuBL_jnVBx+nsPT3c8s99Ng@mail.gmail.com"
type="cite">
<div dir="ltr">
<div><font face="monospace, monospace">I'm curious about
differences (and possible relationships or conversions?)
between:<br>
</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">- things of kind `Name`</font></div>
<div><font face="monospace, monospace">- things type `string`</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">I'm fairly certain the
answers to questions (1) and (2) and (3) below are all "No".</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">The answers to questions
(4) and (5) are probably also "No" - but maybe not...</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">----------</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">Questions:</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">(1) Given a string such
as:</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace"> "Field1"</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">is there any way to refer
to the corresponding Name, ie:</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace"> #Field1</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">?</font></div>
</div>
</blockquote>
</body>
</html>