[Ur] Given some strings, is it possible to create a record using them as field names?

[Stefan Scott Alexander]

Given some strings such as "Fld1", "Fld2", is it possible to create a
record using those strings as field names, eg:

  val myRecord = ["Fld1" = "foo", "Fld2" = "bar"]

?

Of course, the above syntax looks weird (although somewhat similar to
JSON...).

Is there some function which could take something of type `string` and
return something of kind `Name` ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150726/7e90c687/attachment.html>