[00:58] *** discord-raku-bot joined [01:05] *** riffraff18 joined [01:10] *** riffraff18 left [01:19] *** discord-raku-bot left [01:20] *** discord-raku-bot joined [01:48] *** discord-raku-bot left [01:56] *** discord-raku-bot joined [02:02] *** parv left [02:08] *** discord-raku-bot left [02:08] *** discord-raku-bot joined [03:05] *** riffraff18 joined [03:10] *** riffraff18 left [04:30] *** riffraff18 joined [04:31] *** riffraff18 left [04:31] *** riffraff18 joined [06:00] *** riffraff18 left [06:01] *** riffraff18 joined [07:47] *** parv joined [09:05] *** riffraff18 left [09:05] *** riffraff18 joined [09:10] *** riffraff18 left [09:36] *** riffraff18 joined [11:04] *** parv left [12:26] What is the most comfortable way to replace a Nil value with something else, like a default value for an expression: [12:26] What is the most comfortable way to replace a Nil value with something else, like a default value for an expression? [12:31] Also, why: [12:32] m: say Nil // 42 [12:32] rakudo-moar d7152ea59: OUTPUT: «42␤» [12:32] m: [213,23142124,Nil] ~~ [Nil, **] [12:32] oops [12:33] anyways, this is True [12:33] ? [12:33] why is it True? [12:33] m: dd 213 ~~ Nil [12:33] rakudo-moar d7152ea59: OUTPUT: «Bool::False␤» [12:33] yes, this will do, thank you [12:33] still, I'm curious why that match returns true [12:34] m: say [213,23142124,Nil] ~~ [Nil, **] [12:34] rakudo-moar d7152ea59: OUTPUT: «True␤» [12:35] m: dd [213,23142124,Nil] ~~ [Nil, **] [12:35] you won, haha [12:39] ** is a so-called HyperWhatever, but the semantics of that are pretty undeveloped [12:41] yes, I was trying to use it like a "slurpy whatever" [12:42] but apparently that's not the semantics we get here [12:43] a single * should act as a slurpy whatever in that context [12:47] oh that's good to know [12:47] by the way, while we are at it [12:47] a couple of days ago, something came up with array assignments [12:47] namely that [@a, @b] results into a proper two-dimensional something [12:47] but [12:47] my [@a, @b] = ... [12:47] seems to always be flat [12:48] and hence I don't think @b can ever get a non-default value [12:48] do you know something about this behavior? [12:49] let's have an example [12:49] m: my @a = 1, 2; my @b = 3,4; [@a, @b] = [@b, @a ]; dd @a; dd @b; [12:49] wait what [12:51] maybe it was with lists? [12:51] okay, found it [12:52] my @a = 1, 2; my @b = 3,4; (@a, @b) = (@b, @a); dd @a; dd @b; [12:52] m: my @a = 1, 2; my @b = 3,4; (@a, @b) = (@b, @a); dd @a; dd @b; [12:52] here you go [12:52] m: my @a = 1, 2; my @b = 3,4; (@a, @b) = (@b, @a); dd @a; dd @b; [12:52] rakudo-moar d7152ea59: OUTPUT: «Array @a = ((my @Array_17078280) = [[], @Array_17078280])␤Array @b = []␤» [12:54] it basically boils down to: [12:54] m: my @a; my $b; (@a, $b) = 1,2,3; dd @a, $b [12:54] rakudo-moar d7152ea59: OUTPUT: «Array @a = [1, 2, 3]␤Any $b = Any␤» [12:54] when should the assignment to @a stop ? [12:55] m: my @a; my $b; (@a, $b) = (1,2,3),4; dd @a, $b [12:55] rakudo-moar d7152ea59: OUTPUT: «Array @a = [(1, 2, 3), 4]␤Any $b = Any␤» [13:06] @a shouldn't be slurpy whatsoever [13:06] as it indeed isn't when (@a, $b) is on the right handside [13:13] but how would it know when to stop ? [13:13] m: my @a; my $b; (@a, $b) = $(1,2,3),4; dd @a, $b [13:13] rakudo-moar d7152ea59: OUTPUT: «Array @a = [(1, 2, 3), 4]␤Any $b = Any␤» [13:14] one could maybe argue that that should DWIM, but that's getting very magic indeed [13:16] it would stop after the first element [13:16] which in this case would be a list [13:17] or array, doesn't matter - a positional [13:18] @a shouldn't have to act differently on the left hand side [13:18] if it doesn't make the surrounding parens collapse on the rhs, it shouldn't on the rhs either [13:18] the inconsistency is the main problem, not the collapsing [13:18] even though the collapsing really doesn't seem to make sense in particular [13:19] well, I suggest you make a problem-solving issue for that: I'm afraid such a change would at least require a language level boundary [13:20] if there is no easy-to-spot rationale behind this asymmetry, this is a serious enough anomaly to be issued [13:31] is there a better way to have a default value for first? ```pl [13:31] my $num = [1,2,3,4,0].first(* < 1); [13:31] say $num ~~ Int ?? $num !! -69; [13:31] ``` [13:33] m: .say with [1,2,3,4,0].first(* < 1) [13:33] rakudo-moar d7152ea59: OUTPUT: «0␤» [13:33] fwiw, with / without were specifically invented to handle cases where something could validly return 0 [13:34] hm yeah that is nice [13:37] m: say with Nil [13:37] m:``` [13:37] say with Nil [13:37] ``` [13:37] m: ``` [13:37] say with Nil [13:37] ``` [13:37] // is nice 🙂 [13:45] interesting [14:34] Can I stack statement modifiers somehow? [14:34] I'm thinking of something like [14:34] m: dd (.words[0] for ^5); [14:35] this works [14:35] m: dd (.words[0] with 'ioj oiJOIjoij oij '); [14:35] this also works [14:35] m: dd (.words[0] with 'ioj oiJOIjoij oij ' for ^5); [14:35] this doesn't seem to do what I want [14:35] m: dd (.words[0] for ^5 with 'ioj oiJOIjoij oij '); [14:37] this doesn't work at all [15:05] another thing with list comprehensions [15:05] say I have an open file [15:05] ```perl [15:05] dd ($file.get until $file.eof) [15:05] ``` [15:05] works alright [15:06] ```perl [15:06] dd ({$file.get} until $file.eof) [15:06] ``` [15:06] is an infinite loop [15:08] the function doesn't seem to get called [18:00] Hello, could anyone explain something about types in raku to me? Let's look at this piece of code: [18:00] ``` [18:00] sub hokus-pokus(Bool %pokus, Str $item --> Bool) { [18:00] return %pokus{$item}:exists; [18:00] } [18:00] my SetHash[Str] $pokus = SetHash[Str].new: "1,2,3,4,5,6,7,8,9,10".split(',', :skip-empty).List; [18:00] my Bool %another = $pokus; [18:00] say hokus-pokus($pokus, "1"); [18:00] ``` [18:00] If I try to run it, I get this error: `Calling hokus-pokus(SetHash[Str], Str) will never work with declared signature (Bool %pokus, Str $item --> Bool)`. Why can I assign $pokus to %another, but not call a function hokus-pokus($pokus)? [18:41] *** riffraff18 left [18:41] *** riffraff18 joined [18:45] m: sub hokus-pokus(Bool %pokus, Str $item --> Bool) { return %pokus{$item}:exists; } my SetHash[Str] $pokus = SetHash[Str].new: "1,2,3,4,5,6,7,8,9,10".split(',', :skip-empty).List; my Bool %another = $pokus; dd %another; dd $pokus; [18:45] oops [18:47] m: sub hokus-pokus(Bool %pokus, Str $item --> Bool) { return %pokus{$item}:exists; }; my SetHash[Str] $pokus = SetHash[Str].new: "1,2,3,4,5,6,7,8,9,10".split(',', :skip-empty).List; my Bool %another = $pokus; dd %another; dd $pokus; [18:49] If I were to guess, signatures don't make conversions per se [18:49] *** riffraff18 left [18:49] *** riffraff18 joined [19:40] m: Metamodel::Primitives.is_type: Positional[Bool], SetHash[Str] [19:40] er [19:40] m: say Metamodel::Primitives.is_type: Positional[Bool], SetHash[Str] [19:41] me doing the right type would help [19:41] m: say Metamodel::Primitives.is_type: Associative[Bool], SetHash[Str] [19:41] m: say Metamodel::Primitives.is_type: Associative[Str], SetHash[Str] [19:42] m: say Metamodel::Primitives.is_type: Associative, SetHash[Str] [19:49] oh [19:49] m:``` [19:49] sub hokus-pokus(Bool %pokus, Str $item --> Bool) { [19:49] return %pokus{$item}:exists; [19:49] } [19:49] my SetHash[Str] $pokus = SetHash[Str].new: "1,2,3,4,5,6,7,8,9,10".split(',', :skip-empty).List; [19:49] my Bool %another = $pokus; [19:49] INIT say %another; [19:49] say hokus-pokus($pokus, "1"); [19:49] ``` [19:49] no worries, the compiler's being smart here [19:53] however... [19:54] *** parv joined [20:01] m: .^name.say for SetHash[Str].^mro; [20:02] m: .^name.say for SetHash[Str].^mro(:roles); [20:02] i'd expect it to be an `Associative[Bool:D, Str]` [20:06] this'll typecheck: [20:06] m:``` [20:06] sub hokus-pokus(Bool %pokus, Str $item --> Bool) { [20:06] return %pokus{$item}:exists; [20:06] } [20:06] my SetHash[Str] $pokus = SetHash[Str].new: "1,2,3,4,5,6,7,8,9,10".split(',', :skip-empty).List; [20:06] my Bool() %another = $pokus; [20:06] say hokus-pokus(%another, "1"); [20:06] ``` [20:07] dropping `Bool()` for `Bool` should also work [20:09] oh right [20:09] the coercion [20:20] *** riffraff18 left [20:20] *** riffraff18 joined [20:21] Okay, I think I got it. Thanks. [20:26] *** riffraff18 left [20:46] *** riffraff18 joined [21:42] *** riffraff18 left [22:34] *** parv left