Re: rfc: The values of a junction

2009-01-07 Thread dpuu
On Jan 5, 2:24 pm, d...@dave.whipp.name (Dave Whipp) wrote: > Handling all the variations around this (including compound junctions) > will be quite tricky to implement, even if we did have introspection for > junctions. Incidentally, we'd also need introspection of arrays, to extract the infinit

Re: rfc: The values of a junction

2009-01-05 Thread Dave Whipp
Daniel Ruoso wrote: my $concrete_value = max $junc_value.grep: { $^score < 21 }; In the general case, both the junction and the domain may be infinite: my @domain = -Inf .. 3; my $junc = any -4 .. Inf; my @values = @domain |==| $junc; say @values.perl "[-4..3]" Handling all the variation

Re: rfc: The values of a junction

2009-01-05 Thread Dave Whipp
e Whipp Cc: perl6-langu...@perl.org Sent: Monday, January 5, 2009 11:24:29 AM Subject: Re: rfc: The values of a junction Em Seg, 2009-01-05 às 07:57 -0800, Dave Whipp escreveu: >my $ace = 1 | 11; >my $seven = 7; >my @hand = $ace xx 3, $seven; >my $junc_value = [+] @hand; ##

Re: rfc: The values of a junction

2009-01-05 Thread Daniel Ruoso
Em Seg, 2009-01-05 às 07:57 -0800, Dave Whipp escreveu: >my $ace = 1 | 11; >my $seven = 7; >my @hand = $ace xx 3, $seven; >my $junc_value = [+] @hand; ## any( 10, 20, 30, 40 ) > There are a bunch of possible values in the junction. The one we care > about is the largest that is no

rfc: The values of a junction

2009-01-05 Thread Dave Whipp
I spent a fair amount of time with Rakudo over the holiday break (see http://dave.whipp.name/sw/perl6 for the writeup). I was generally impressed with both the language and its implementation. There were, unsurprisingly, a bunch of things missing. Some of these were things that are in the spec