Re: interesting discovery (trying to get record labels as strings)
Re: interesting discovery (trying to get record labels as strings)
- Subject: Re: interesting discovery (trying to get record labels as strings)
- From: "Serge Belleudy-d'Espinose" <email@hidden>
- Date: Tue, 4 Dec 2001 01:03:26 +0100
At 14:03 -0800 3/12/01, Paul Berkowitz wrote:
>
> Is there a way to coerce the string "hello" into a call to the record? (i.e.
>
> hello of {hello:"goodbye"})
>
>
hello of ({{+class usrf;:{"hello", "goodbye"}}} as string as record)
>
-- "goodbye"
I think the original question was, how to get 'hello' of the record when 'hello' is actually the content of a string? the 'class... as string as record' trick is great, but it's still only a way to build a record on the fly, not to get the content of it...
Stoping midway, at 'class... as string', seems to allow getting the content of an arbitrary property with a bit of parsing, but it still has to prove being universal.
Serge
--
\\//\//\// Serge Belleudy-d'Espinose Institut Jacques Monod
// // //
http://www.ijm.jussieu.fr/ Universite Paris VII - Jussieu
//\//\//\\