Deborah Ariel Pickett wrote: > Luke wrote: > > > $foo = 1 | 2 | 4 > > print $foo; > > # Foo is now just one of (1, 2, 4); i.e. not a junction > > Just a sanity check, but is this kind of behaviour something we still > want from junctions? > > Perhaps the above should just print JUNCTION(0x1234) or something, > like the other built-in types do. If you really want to collapse the > superposition, use an explicit collapse($foo) or observe($foo) or > pick($foo) or whatever you want to call it.
That sounds the least scary behaviour: it may not do anything particularly useful by default but at least it's obvious what's happened. Having C<pick()> Huffman-encoded to nothing at all sounds unnecessary for those that need it. > Just a thought from someone vaguely in the Cozens Camp. That, however, does sound scary -- I didn't know Simon had gone into the holiday resort market. Is The Cozens Camp anything like Butlins? Smylers