#raku-dev on 20 October 2021 - Raku Programming Language Log

🦋 Welcome to the IRC channel of the core developers of the Raku Programming Language (raku.org #rakulang). This channel is logged for the purpose of history keeping about its development | evalbot usage: 'm: say 3;' or /msg camelia m: ... | log inspection situation still under development | For MoarVM see #moarvm
Set by lizmat on 22 May 2021.

00:02 reportable6 left 00:46 Xliff joined 01:03 reportable6 joined 01:57 frost joined 03:40 linkable6 left, evalable6 left, quotable6 left, statisfiable6 left, bloatable6 left, notable6 left, greppable6 left, coverable6 left, reportable6 left, unicodable6 left, bisectable6 left, nativecallable6 left, tellable6 left, sourceable6 left, shareable6 left, releasable6 left, squashable6 left 03:41 sourceable6 joined, releasable6 joined, statisfiable6 joined 03:42 linkable6 joined, evalable6 joined 03:43 linkable6 joined, evalable6 joined, notable6 joined 03:53 Xliff left 04:41 coverable6 joined, reportable6 joined, bloatable6 joined, squashable6 joined 04:42 quotable6 joined 04:43 shareable6 joined, tellable6 joined 05:41 bisectable6 joined, greppable6 joined 06:02 reportable6 left 06:03 reportable6 joined 06:14 Util left 06:19 melezhik left 06:21 Util joined

releasable6

Next release in ≈2 days and ≈11 hours. 1 blocker. Please log your changes in the ChangeLog: github.com/rakudo/rakudo/wiki/ChangeLog-Draft

07:00

07:00 sjn_ joined 07:07 djinni`_ joined 07:09 sjn left, djinni` left, ilogger2 left 07:12 ilogger2 joined

Kaiepi

there's a slight inconsistency between Metamodel::CurriedRoleHOW and Metamodel::ParametricRoleHOW in how they deal with compos(aliza)bility of doees in my roles pr

07:31

the former checks the composability of all doees, while the latter only considers that if it needs composalizing

i'm erring towards the latter being correct, but this is a sign of other problems to do with inherit(aliz)ability and compos(aliz)ability checks with add_parent and add_role that could be resolved by encoding them into theier metamethods of sorts, but is too breaking to do at the same time as all this

07:35

can parents and doees be trusted to be inheritable and composable before then?

if not -alizable

s/theier/their own/

07:36

er, the latter considers it when generic, not composalizable

07:40

07:41 nativecallable6 joined

Kaiepi

ig the question is "is .^add_parent($non_inheritable)/.^add_role($none_composable)" DIHWIDT?

07:42

07:43 unicodable6 joined

[Tux]

Rakudo v2021.09-279-g1d8bf66a5 (v6.d) on MoarVM 2021.09-667-gc43ee9dff

csv-ip5xs	1.402	-	1.431
csv-ip5xs-20	15.297	-	15.696
csv-parser	4.717	-	4.737
csv-test-xs-20	0.368	-	0.393
test	7.546	-	7.824
test-t	1.736	-	1.774
test-t --race	1.028	-	1.029
test-t-20	25.538	-	26.473
test-t-20 --race	7.941	-	8.388

07:58

09:04 squashable6 left 09:06 squashable6 joined

Kaiepi

the design docs specify that this:

09:43

m: class Abstract { method abstract { ... } }; class Concrete::Sorta is Abstract { }

camelia

( no output )

Kaiepi

should behave like

m: role Abstract { method abstract { ... } }; class Concrete::Sorta does Abstract { }

09:44

camelia

5===SORRY!5=== Error while compiling <tmp>
Method 'abstract' must be implemented by Concrete::Sorta because it is required by roles: Abstract.
at <tmp>:1

Kaiepi

which was the barrier to not breaking things

s/was/should be/

resolve, i mean

09:45

idk, that not throwiwng seems like something someone could depend on in odd ways

09:47

Mondenkind

m: class Abstract { method abstract { ... } }; class Concrete::Sorta is Abstract { }; Concrete::Sorta.abstract

09:48

camelia

Stub code executed
in method abstract at <tmp> line 1
in block <unit> at <tmp> line 1

Mondenkind

type-checks should happen 'at runtime, at latest'. So imo that is suboptimal but fine

09:49

lizmat

well, if you depend on that behaviour, and your program doesn't crash, you are clearly not using that stubbed method

10:00

which feels fine to me?

10:29 Altai-man joined 10:56 Util left 11:03 Util joined

Altai-man

releasable6, status

11:14

releasable6

Altai-man, Next release in ≈2 days and ≈7 hours. 1 blocker. 0 out of 279 commits logged

Altai-man, Details: gist.github.com/57125674cbc01df089...db7fa39c2f

Altai-man

releasable6, status

11:23

releasable6

Altai-man, Next release in ≈2 days and ≈7 hours. 1 blocker. 4 out of 279 commits logged

Altai-man, Details: gist.github.com/617d3f0e27b8379ddb...52fe39ed4d

Geth

rakudo/megamorphic-handlers: 203f9afb4d | (Jonathan Worthington)++ | src/Perl6/Actions.nqp
Lift $!do reading out of `for` loop body

Which avoids a tiny bit of cost every iteration of a statement-level
`for` loop.

11:51

12:02 reportable6 left 12:03 reportable6 joined

Kaiepi