<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><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">(2) Is it possible for a function to have a signature like:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  val makeName str : string -> [ nm :: Name ]</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">In other words, is it possible for a function to *return* something of kind `Name`?</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"><br></font></div><div><font face="monospace, monospace">(3)(a) Is there some syntax like the following in Ur/Web:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  val myFieldName = "Field1" </font></div><div><font face="monospace, monospace">  #{myFieldName}</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">---------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">(3)(b) Is there some syntax like the following in Ur/Web:</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><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">(4) The following function occurs in files crud.urs / crud.ur of the Crud1, Crud2, Crud3 demos: </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  *.urs</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  val checkboxWidget_n : nm :: Name -> xml form [] [nm = widget]</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  *.ur</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  val checkboxWidget_n = [nm :: Name] => <xml><checkbox{nm}/></xml></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Would some syntax like the following be possible (using type `string` instead of kind `Name`):</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  *.urs</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">    val checkboxWidget_s : str : string -> xml form [] [#{str} = widget]</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  *.ur</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">    val checkboxWidget_s = str : string => <xml><checkbox{str}/></xml></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">---------</font></div><div><font face="monospace, monospace"><br></font></div><div><div><font face="monospace, monospace">(5) Can something of type `string` (instead of something of kind `Name`) be used in the __ positions in examples (a) or (b) shown below:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">(a)</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  <xml><checkbox{__}/></xml></font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">(b) </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  <xml></font></div><div><font face="monospace, monospace">    <select{__}></font></div><div><font face="monospace, monospace">      <option>"New York"</option></font></div><div><font face="monospace, monospace">      <option>"London"</option></font></div><div><font face="monospace, monospace">      <option>"Paris"</option></font></div><div><font face="monospace, monospace">    </select></font></div><div><font face="monospace, monospace">  </xml></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">---------</font></div></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Thanks for any help!</font></div><div><br></div></div>