On Sun, May 31, 2020 at 04:06:28PM -0700, ToddAndMargo via perl6-users wrote: > On 2020-05-31 12:48, Veesh Goldman wrote: > > well, literally it would mean something like "a direct result of > > inability to read is to not understand", which in context should mean if > > you can't read you won't understand. But I think the point was made. > > > Hi Veesh, > > Please help me with my reading skills here. > > https://docs.raku.org/routine/starts-with > > multi method starts-with(Str:D: Str(Cool) $needle, :i(:$ignorecase), > :m(:$ignoremark) --> Bool:D) > > Does this or does this not state that the "Haystack" > (invocant) is required to be defined ("Str:D:")?
Yes, it does. Good!
> If I am reading it correctly, is requires a "defined"
> ("D") Haystack (invocant). Am I misreading something?
No, you're not - or at least, only slightly, see below.
> Running a test, the method DO NOT check for defined:
>
> p6 'my $x; say $x.starts-with( "1" );'
> No such method 'starts-with' for invocant of type
> 'Any' in block <unit> at -e line 1
> What am I misreading? Does it say anywhere that the
> Haystack in not defined? Does it way anywhere that I
> violated the requirement that the Haystack be defined?
>
> And what is "No such method 'starts-with'" suppose to
> mean? I am staring at the method on right on the manual
> page. Did the developers forget to include "opens-with"
> on my version of Raku? Obvious it does not mean what
> it says. Unless my reading skill really suck.
Try it with something slightly different, give Raku something to
work with :)
[roam@straylight ~]$ raku -e 'my Str $x; $x.starts-with("1")'
Cannot resolve caller starts-with(Str:U: Str:D); none of these signatures match:
(Cool:D: Cool:D $needle, :i(:$ignorecase)!, :m(:$ignoremark), *%_ --> Bool)
(Cool:D: Cool:D $needle, :m(:$ignoremark)!, *%_ --> Bool)
(Cool:D: Cool:D $needle, *%_ --> Bool)
(Str:D: Str:D $needle, :i(:$ignorecase)!, :m(:$ignoremark), *%_ --> Bool)
(Str:D: Str:D $needle, :m(:$ignoremark)!, *%_ --> Bool)
(Str:D: Str:D $needle, *%_ --> Bool)
in block <unit> at -e line 1
[roam@straylight ~]$
The difference is that you said "my $x", thus making $x an undefined
variable of the "Any" type (since you did not specify a type), and
I said "my Str $x", thus making $x an undefined string. Once Raku knows
that $x is supposed to be a string, it can look for a .starts-with()
method in the Str class and in all its parent classes - and it finds
some methods in Str and some methods in the class named Cool.
> Also, lets add to my reading comprehension, the Needle:
> `Str(Cool) $needle`
>
> I do not see "D" or "U" anywhere. Am I missing something?
>
> A test:
> $ p6 'my $x; say "abc".starts-with( $x );'
> Cannot resolve caller starts-with(Str:D: Any:U);
> none of these signatures match: ...
Hm, this one is interesting. On the one hand, your test was once again
slightly wrong, once again you should have declared $x to be a Str.
On the other hand, even with the corrected test:
[roam@straylight ~]$ raku -e 'my Str $x; dd "abc".starts-with($x);'
Cannot resolve caller starts-with(Str:D: Str:U); none of these signatures match:
(Cool:D: Cool:D $needle, :i(:$ignorecase)!, :m(:$ignoremark), *%_ --> Bool)
(Cool:D: Cool:D $needle, :m(:$ignoremark)!, *%_ --> Bool)
(Cool:D: Cool:D $needle, *%_ --> Bool)
(Str:D: Str:D $needle, :i(:$ignorecase)!, :m(:$ignoremark), *%_ --> Bool)
(Str:D: Str:D $needle, :m(:$ignoremark)!, *%_ --> Bool)
(Str:D: Str:D $needle, *%_ --> Bool)
in block <unit> at -e line 1
[roam@straylight ~]$
And here we come to the interesting part: it seems that the
documentation is wrong here, since what Raku says is that the
.starts-with() method of the Str class really wants a `Str:D $needle` -
it does expect its argument to be defined.
> Okay, now it tells me "Any:U" for the needle. It
> is telling me that I sent it a undefined value. To
> me, that is a good troubleshooting hint. Am I
> misreading it?
Well, it's actually telling you that you *passed* an Any:U object :)
Yes, it's telling you that it cannot find a method .starts-with() that
will accept an undefined object of the "Any" type as a parameter,
so, yeah, getting close :)
> Now what I would "like to see" (suggestion, not a demand),
> is the Haystack complain in a similar fashion. For instance:
>
> starts-with's invocant requires a defined value (Str:D)
>
> Have I misread anything?
See above - you'll get this if you declare $x as a Str :)
But, yes, you're making progress, great!
G'luck,
Peter
--
Peter Pentchev [email protected] [email protected] [email protected]
PGP key: http://people.FreeBSD.org/~roam/roam.key.asc
Key fingerprint 2EE7 A7A5 17FC 124C F115 C354 651E EFB0 2527 DF13
signature.asc
Description: PGP signature
