26 Sep 2023
nemokosch but then how can they be not equal, lol 17:21
m: say 10e8.Int == 1000000000
Raku eval True
nemokosch maybe I miscounted
oh right, 10e8 is 10**9 actually 17:22
but anyway, the type is not the same, that much is for sure.
grondilu: if this is causing problems for you, I honestly encourage you to make an issue for it. I do think that it's a very significant problem that the multi dispatch resolution order is basically un(der)defined behavior and I'm sure there are other people who think the same 17:24
it's like, we are stronger together, bluntly put 17:26
if there are problems, it's the worst to let passivity and comfort to take over
tonyo you wouldn't be alone in that ^. currently following 386 or i'd take a look at it 17:28
nemokosch github.com/rakudo/rakudo/pull/5377 here's this PR from recently. A relatively easy fix for a corner case 17:31
Originally, I just wanted to create a separate multi candidate for the happy path... I think? I should have noted what happened exactly. 17:32
But in vague terms, I created candidate C which made something that originally dispatched to candidate A, dispatch to candidate B. I haven't touch either of those candidates 17:33
touched*
actually, I did document what happened reasonably well in the issue (#5340) itself 17:38
grondilu posting an issue is not always the best imho. In this case, I think I failed to realize that Rat(Cool) is less specific than Real. Because of the (Cool), I suppose. 17:50
anyway I think I finally manage to write that class for Quadratic Irrationals I wanted: gist.github.com/grondilu/b70fb0d8a...3f3a7317c6 18:23
It does Real, but man I had to define so many of the operators.
Using Bridge was so not possible that I ended up stubbing it so that the code halts whenever it tries to use it. 18:25
nemokosch maybe it is less specific, maybe it isn't. I mean, it's useful that you are able to convince yourself but really, I think it's telling that there is no proper material about multiple dispatch 18:29
grondilu If you look at lines 78 to 98, really all these lines should be inherited from Real IMHO. I shouldn't have to write them down myself.
nemokosch and smartmatch to a coercive type is broken for a long time, perhaps since the COERCE protocol landed
so there definitely are issues, it's not all just our poor understanding 18:30
grondilu maybe
nemokosch 'almafa' ~~ Real() was False until late 2020 iirc
grondilu still I'm not keen on posting issues unless it's really bothering me. 18:31
nemokosch it's True since, go figure, I think False was right
the funny thing is, I think you might be the person who caused me to open the most issues 18:32
actually, not just about the issues opened, the person who brought the largest amount of problematic code to ponder about 18:33
grondilu lol I've heard that before. I've been told I have a knack to find weird issues or something. 18:35
The thing is, usually when I start a toy project in raku, I stumble upon a bug. That being said, it's becoming rarer these times as raku matures. 18:36
nemokosch but as much as I can recall, most of the things you tried to do made sense for me, it's not like you clearly did "something that hurts"
from my personal perspective, the problem is really that I'm a golem when it comes to stuff like this and I engage in this rather shitty role of bringing problems and criticism 18:40
eventually, if I bring up stuff like this, it will be just received with some personal remarks and swept away, to be honest 18:42
stanrifkin Is there a v6.e feature list? 19:34
tonyo nemokosch: i don't think any of us find it shitty that you bring up issues, it generally hardens the language to not have gaps everywhere 19:52
rather, most of us appreciate it.
nemokosch well, there are direct and indirect ways in which it can appear to me that certain issues inflate by the mere fact that I bring them up 20:11
antononcube Some actively encourage it. (Willingly or not...)
nemokosch sometimes it's the lack of feedback for a problem-solving issue that is either very important or very actionable (as in, I gave loads of details and proposed a solution, like the one with the Raku books) 20:13
sometimes it's the ad nauseam "whatever, that's just your opinion" 20:14
the latter in itself makes me cling onto whenever I see others have the same issue 20:15
tonyo sometimes it's difficult to see past your own opinion, particularly when someone else shares it and silence on the topic is the norm because it's mostly a non-issue for them. most of have been called on that in some capacity, including myself, ugexe, lizmat, nine, etc 20:35
but it doesn't mean the enthusiasm and role are for naught, everyone benefits from it when it's constructive conversation 20:36
nemokosch I think there are several "sleeping issues" thanks survivor bias, that is, when it's not surprising that it's not an issue to most of you, because if it were an issue for you, you would have just walked away 20:37
this is part of the reason I don't believe in "democratic methods" much for certain topics 20:40
I much rather believe in traditional arguments compiled from evidence, fundamental value judgements and deduction 20:42
and it happened just today that I compiled a large argument and it got shut down by "you've already got to say your opinion" 20:43
are "this is very useful" and an analysis of cost-benefit, or giving alternative solutions to a problem, all just "opinions" on equal terms? 20:46
tonyo giving solutions to things people don't think are problems is always a dead end. from what i've seen, the value judgements need to align with the overall goals of the project. having one way to do something is very far from the goals of raku or it's mother language in general and, especially in raku, it's important to balance one's personal preference/opinion/experience with the language 20:57
having only one way* 20:58
nemokosch well, this particular case was about the for-else proposal of Damian Conway back in an article, so the "problem" was defined by Damian 21:13
I think it really was (would have been, rather) a good opportunity to at least try to address why we have such a different view of the usefulness of it 21:14