Juerd wrote:
Larry Wall skribis 2005-03-11 8:45 (-0800):
On Fri, Mar 11, 2005 at 03:58:13PM +0100, Thomas Sandlaß wrote:
: Int @i;
: Num @n = @i; # type error?
I think the naive user is going to expect that to work, and I also
suspect the naive user is right to expect it, because it makes sense.
On Mon, Mar 14, 2005 at 04:15:35PM +0100, Thomas Sandlaß wrote:
: Hmm, since what is compile to you is runtime for the compiler
: it might by a normal store attempt that is then rejected by the object
: and caught by the compiler---cool. Is there also an unchecked store
: operation that can be
Doug McNutt wrote:
A word of caution:
Just as in vector operators had their names changed to pacify the
mathematicians - thank you - there is a conflict in terms. Covariant and
contravariant tensors are the meat of Einstein's formulation of relativity.
It all has to do with transformations
HaloO David,
you wrote:
I appreciate you attempting to explain this, but it remains clear as
mud, at least to me. Could you please try again, using very short,
very non-technical words and not assuming a mathematical or
scientific background on the part of your reader?
Ok, second attempt!
The :
On Fri, Mar 11, 2005 at 03:58:13PM +0100, Thomas Sandlaß wrote:
: Int @i;
: Num @n = @i; # type error?
I think the naive user is going to expect that to work, and I also
suspect the naive user is right to expect it, because it makes sense.
This may be one of those areas where we can successfully
Larry Wall skribis 2005-03-11 8:45 (-0800):
On Fri, Mar 11, 2005 at 03:58:13PM +0100, Thomas Sandlaß wrote:
: Int @i;
: Num @n = @i; # type error?
I think the naive user is going to expect that to work, and I also
suspect the naive user is right to expect it, because it makes sense.
This
HaloO Luke,
you wrote:
The words 'covariant' and 'contravariant' in this context seem like
voodoo math. Please explain what you mean.
'Co' means together like in coproduction. And 'contra' is the opposite
as in counterproductive. With instanciating parametric types the question
arises how a
On Thu, 10 Mar 2005, [UTF-8] Thomas Sandla~_ wrote:
'Co' means together like in coproduction. And 'contra' is the opposite
'Streaming of digestive byproducts'? ;-)
Sorry for the OT - couldn't resist! This pun
At 17:53 +0100 3/10/05, Thomas Sandlaß wrote:
'Co' means together like in coproduction. And 'contra' is the opposite
as in counterproductive. With instanciating parametric types the question
arises how a subtype relation between instanciating types propagates
to the template. E.g with Int : Num,
At 17:53 +0100 3/10/05, Thomas Sandlaß wrote:
[request for clarification of 'covariant' and 'contravariant' usage]
'Co' means together like in coproduction. And 'contra' is the opposite
as in counterproductive. With instanciating parametric types the question
arises how a subtype relation
Dave Whipp wrote:
I don't see why I need the conditional there. If I'm going to copy the
array, I might as well declare up front the that darget does
LinearInterpolation:
sub foo (Num @raw_in)
{
my Num @in does LinearInterpolation = @raw_in;
...
}
This depends on how initialization works.
Thomas Sandlaß wrote:
Or perhaps even
sub foo (Num @in is copy does LinearInterpolation)
{
...
}
This is my big questionmark on roles: is the above a contraint
or merely a directive. In the former case only Arrays of Num that
do LinearInterpolation are allowed, in the latter case every
Array
On Tue, Mar 08, 2005 at 10:19:10AM +0100, Thomas Sandlaß wrote:
: Or perhaps even
:
: sub foo (Num @in is copy does LinearInterpolation)
: {
:...
: }
:
: This is my big questionmark on roles: is the above a contraint
: or merely a directive. In the former case only Arrays of Num that
: do
Larry Wall wrote:
One can always mixin a does LinearInterpolation at run time in the
body of the sub to get the effect of a directive, so I think the most
useful thing is to treat roles in signatures as constraints where
they can be used to select for MMD.
Further questions concerning MMD:
1) How
Larry Wall skribis 2005-03-08 9:42 (-0800):
Maybe we need to work in the linguistic notion of pretends to be
somehow.
If this needs a keyword, I suggest plays :)
Juerd
--
http://convolution.nl/maak_juerd_blij.html
http://convolution.nl/make_juerd_happy.html
Thomas Sandla writes:
Larry Wall wrote:
One can always mixin a does LinearInterpolation at run time in the
body of the sub to get the effect of a directive, so I think the most
useful thing is to treat roles in signatures as constraints where
they can be used to select for MMD.
Further
On Tue, Mar 08, 2005 at 03:21:42PM -0700, Luke Palmer wrote:
: 3) I guess the distance function is not specified yet, right?
:
: It was specified as simple manhattan. I've been arguing for the past
: year to get this changed (to 'pure', where there is no distance
: function; two methods, which
I was trying to work out how to get non-integer indexes working for an
array -- initially using linear interpolation, though perhaps later it
would be generalized. Can anyone comment on whether this simple role
would work as I expect. Does defining the invocant as Num @self is
constant
Dave Whipp wrote:
Does defining the invocant as Num @self is constant constrain the application
of the role to read-only uses of indices?
I don't think you need is constant. arguments are readonly by default,
unless you give them the is rw trait. I guess that is constant means
that you can
Aldo Calpini wrote:
I don't think you need is constant. arguments are readonly by default,
unless you give them the is rw trait. I guess that is constant means
that you can specify the index only using a literal, not a variable, eg:
@test[1]; # ok, 1 is a costant
my $idx = 1;
20 matches
Mail list logo
