On 2014-03-31 14:49, Michael Zedeler. wrote:
On 2014-03-29 21:45, Damian Conway wrote:
Moritz wrote:
To spin the tale further, we need to think about what happens if
somebody writes
multi foo(1|2e0) { ... }
so now we have Int|Num. We could explore the most-derived common
ancestor (Cool), or l
On 2014-03-29 21:45, Damian Conway wrote:
Moritz wrote:
To spin the tale further, we need to think about what happens if
somebody writes
multi foo(1|2e0) { ... }
so now we have Int|Num. We could explore the most-derived common
ancestor (Cool), or look into role space (Real, Numeric come to min
Moritz wrote:
> To spin the tale further, we need to think about what happens if
> somebody writes
>
> multi foo(1|2e0) { ... }
>
> so now we have Int|Num. We could explore the most-derived common
> ancestor (Cool), or look into role space (Real, Numeric come to mind),
> or simply error out.
Or m
On 03/28/2014 02:28 PM, Parrot Raiser wrote:
> On 3/27/14, Moritz Lenz wrote:
>
>> Agreed. We "just" need to come up with a consistent, intuitive way to
>> handle the rest of the cases. And implement it.
>>
>
> Whenever somebody offers a solution to a problem formulated as "We
> just need to .
On 3/27/14, Moritz Lenz wrote:
> Agreed. We "just" need to come up with a consistent, intuitive way to
> handle the rest of the cases. And implement it.
>
Whenever somebody offers a solution to a problem formulated as "We
just need to " (or "why don't you just?"), it's usually a sign
tha
On 03/19/2014 11:06 AM, Damian Conway wrote:
> To me, the issue is: how does Perl 6 actually carry out the
> type inference we're doing here?
>
> And I believe it's an important question to get right, as we
> may eventually see Perl 6 doing more type inference...either
> in core, or else through
f'up to p6l, because the ticket doesn't need the rest of the discussion.
On 03/19/2014 10:21 PM, Darren Duncan wrote:
> On 2014-03-19, 1:20 AM, Moritz Lenz wrote:
>> On 03/19/2014 12:45 AM, Darren Duncan wrote:
>>> Damian, Moritz, etc,
>>>
>>> It seems to me that the basic problem here is that the
