»ö« Welcome to Perl 6! | perl6.org/ | evalbot usage: 'p6: say 3;' or rakudo:, or /msg camelia p6: ... | irclog: irc.perl6.org or colabti.org/irclogger/irclogger_logs/perl6 | UTF-8 is our friend!
Set by moritz on 22 December 2015.
samcv oh gawd 00:58
i did 'skip "needs rework", Inf' and it just 00:59
keeps going
forever
TEttinger infinitely, perhaps? 01:15
samcv yep 01:21
what do people think of this? github.com/rakudo/rakudo/compare/n...v:skip-Inf
so we can either make it throw or make it act as skip-rest does
link is where it just asks as skip-rest and dies in case you have no plan 01:22
brokenchicken samcv: "make it throw" sounds good. An Int type contraint on the skipped number should do the trick. 01:35
samcv so you think just make an Int constraint? 01:36
brokenchicken m: use Test; &skip.candidates».signature.say 01:37
camelia rakudo-moar d06d7c: OUTPUT«(() ($reason, $count = 1))␤»
samcv hmm i split some of my code into a module, and now i'm getting an error Missing or wrong version of dependency (depends on another module in the same folder as it)
not sure why I am seeing this error, tried clearing precomp
brokenchicken I saw that error when I ran perl6 instead of ./perl6
samcv .===SORRY!===
Missing or wrong version of dependency '/home/samantha/git/MoarVM/grant/lib/EncodeBase40.pm6 (EncodeBase40)' (from '/home/samantha/git/MoarVM/grant/lib/GenUniNameList.pm6 (GenUniNameList)')
brokenchicken shrugs 01:38
samcv brokenchicken, i may have to wait til March for grant btw. i may be able to make it work
idk. that's a while away though.
hopefully they can figure something out
brokenchicken How come?
samcv We are determining the best course of action. As the next step, we 01:39
will publish the status of each fund so we can decide the best option
for you.
so they're gonna keep me posted. hopefully won't have to wait until March
brokenchicken Hopefully.
samcv ^
perlawhi1l hi all 01:42
cale2 moritz 03:08
jdv79 m: say "\c[woman gesturing OK]" 03:35
camelia rakudo-moar ae9d51: OUTPUT«🙆‍♀️␤» 03:35
jdv79 shouldn't that just be the first char? 03:35
well, glyph. eh, nm. 03:36
hartenfels jdv79: I think that's a shortcoming of your thingy that displays it not being able to put it together. For me that shows as FACE WITH OK GESTURE, ZERO-WIDTH JOINER, FEMALE SYMBOL. 03:40
Rather than a combined emoji.
jdv79 huh 03:45
in a related issue, why is JSON::Tiny and ::Pretty encoding that "char" as \u1f646? 03:46
i think that''s a bug. json only specs 4 hex chars after that
and there is no reason to auto encode it that way either 03:47
afaik
jdv79 its breaking my 5/6 interop cause json::xs is parsing that into "\x{1f64}6" :( 03:52
oh, ::Tiny and friends are actually just chopping or something. lovely 03:56
gah. encodings are fun. 04:02
ah. ::Tiny is ok. ::Pretty is failing harder. 04:08
xpika is there a way to pre-emptivly invoke the perl6 type checker ? 07:23
samcv jdv79, yeah json only specs 4 digits after it 07:43
m: "\c[woman gesturing ok]".uninames.perl.say 07:44
camelia rakudo-moar ae9d51: OUTPUT«("FACE WITH OK GESTURE", "ZERO WIDTH JOINER", "FEMALE SIGN", "VARIATION SELECTOR-16").Seq␤»
samcv it's a sequence
I added some documentation about the Unicode sequence functionality I added recently to Perl 6 here: docs.perl6.org/language/unicode 07:45
samcv has links to all of them if you want to see 07:46
parv in "rakudo-moar ae9d51" is "ae9d51" the git commit or something else?
samcv yeah it's git commit
parv thanks.
samcv the Name Alias and the Emoji sequences/ZWJ sequences were in the latest Jan release of rakudo 07:47
i need to make it more clear, BELL isn't a name alias that's the actual name of the symbol
parv samcv, is an emoji symbol (in Perl 6) some kind of (font independent) graphic/icon? 07:53
samcv well. it follows Unicode grapheme rules 07:54
m: "\c[woman gesturing ok]".chars.say
camelia rakudo-moar ae9d51: OUTPUT«1␤» 07:54
samcv so it's one grapheme/character
because unicode says it should not be split up
m: "\r\n".chars.say
camelia rakudo-moar ae9d51: OUTPUT«1␤»
samcv this is a common one as well. but there's lots of things that are like that
like letters with diacritics are actually multiple codepoints, but in perl6 it seperates them as graphemes so they stay together 07:55
m: say "\c[woman, ZWJ, boy]".chars 07:56
camelia rakudo-moar ae9d51: OUTPUT«1␤»
samcv like i don't think ^ is actually a real emoji, but it follows the unicode grapheme rules and counts as 1
obviously in case ones get added. ZWJ = Zero width joiner 07:57
samcv m: say "\c[PRESENTATION FORM FOR VERTICAL RIGHT WHITE LENTICULAR BRACKET]".uniname 07:59
camelia rakudo-moar ae9d51: OUTPUT«PRESENTATION FORM FOR VERTICAL RIGHT WHITE LENTICULAR BRAKCET␤»
samcv parv, fun fact, this name was misspelled so it is one of the NameAlias corrections, but since names never change 07:59
its official name is still BRAKCET
parv ha, ha 08:01
jast that's going to trip someone up sooner or later. I'm sure it will be an amusing experience, from a safe distance ;) 08:03
samcv which the misspelled name :P 08:03
heh
parv \c[person playing water polo] seems like a "factory in blue with red lamp"; \c[person playing handball: medium-light skin tone] looks like a "child free falling" (as they appear in Firefox 50, Windows 10) 08:10
... in www.unicode.org/Public/emoji/4.0/em...uences.txt 08:11
samcv ha 08:12
m: say "\c[United States]"
camelia rakudo-moar ae9d51: OUTPUT«🇺🇸␤»
samcv easy access to flags
"factory in blue with red lamp" sounds like the name of some piece of art somebody might make
Geth oc: bd5ef73553 | (Samantha McVey)++ | doc/Language/unicode.pod6
Add more examples of Named Aliases and some extra info
08:24
parv is seriously missing appropriate fonts to see perl 6 unicode output in its glory in Firefox+FreeBSD. also, need to update rakudo 08:33
samcv can you install noto-fonts-emoji? 08:35
actually install every noto font. since it covers almost all of unicode
also symbolla has a huge number of symbols, freebsd likely has that easily installable?
parv let me see ... 08:38
parv ... installed (both); still need some tweaking; will try that later. thanks samcv. 08:52
samcv nice :)
travis-ci Doc build errored. Samantha McVey 'Add more examples of Named Aliases and some extra info' 09:14
travis-ci.org/perl6/doc/builds/195794703 github.com/perl6/doc/compare/223e3...5ef73553df
El_Che It's silly, but I am happy that I'll have my camelia laptop sticker soon (@fosdem) :) 09:41
El_Che reserved some place for it 09:41
samcv nice 09:51
i want a sticker :(
where can I get one
wow travis is cutting us off now 09:52
The job exceeded the maximum time limit for jobs, and has been terminated.
not our fault they're being super slow
jast it's everyone else's fault!
arnsholt samcv: lizmat and Wendy generally have a stack they're handing out at conferences 09:54
samcv pls mail me one! 09:55
DrForr I'm going to need to move mine to a new laptop... I have the patch, though :)
DrForr (that'll be more of a pain to move to the new laptop, when I buy it. I might replace it at FOSDEM, I've got a spare day.) 10:43
El_Che samcv: yeah, I'll get one from Wendy @ Fosdem 10:54
samcv thanks :) 10:55
AlexDaniel u: skin tone 12:10
unicodable6 AlexDaniel, Found nothing!
AlexDaniel u: emoji fitz
unicodable6 AlexDaniel, U+1F3FB EMOJI MODIFIER FITZPATRICK TYPE-1-2 [Sk] (🏻)
AlexDaniel, U+1F3FC EMOJI MODIFIER FITZPATRICK TYPE-3 [Sk] (🏼)
AlexDaniel, gist.github.com/443abb3c46c3a5fc08...c6ce577474
AlexDaniel MasterDuke: should I use nqp ops to speed this thing up by ≈20% or so? ↑ 12:11
tragr BAD NEWS, rumors say that Trump plans to set unicode illegal for all governamental agency. This affect all software which "allows typesetting, printing or visualizing character outside the ASCII standard range", including the ones which fit in an 8bits encoding. All those softwares are deemed anti-american 12:49
jast since when are rumours news? 12:50
brokenchicken I wish Trump would issue an executivie order that forbida mentioning anything about Trump to anyone eho isn't in Murica 12:53
DrForr Anyway, this weekend I'm going to see about adding .find() and proper walking to Perl6::Parser so it'll filter out docs or whatnot. 12:56
sena_kun DrForr, it's really cool. I'm looking at Perl6::Parser for some time(but kinda too lazy to read docs really serious), am I right that with this module it will be possible to parse a tree, walk over it with some modifications along the way and dump the tree as a string similar to parsed? 12:58
*seriously 12:59
DrForr You can aleady parse and dump. I need to add .next(), .previous(), .parent(), .children() axes and then I'm either going to add a proper .splice() or override the array slicing operations somehow. 13:01
sena_kun Oh, amazing. DrForr++ 13:03
DrForr That way when the parser returns $root, you can call $root.children() to get the doc children &c, and $node.splice(...) will insert while maintaining links. It might even skip infrastructure nodes or build them as needed. 13:07
tragr brokenchicken: in full French presidential campain? You're gonna kidding 13:26
brokenchicken tragr: what you said just now made zero sense. 13:27
tragr brokenchicken: because you think that there is still a game to be played in US, me don't 13:31
brokenchicken tragr: but you think game French is play kidding presidential? 13:33
DrForr Come to think of it, .next-token and .previous-token would let iterators work pretty simply. 13:34
while $node.not-end { $node = $node.next-token; } 13:35
tragr brokenchicken: wow I feel strong the power of dyslexia in me now
brokenchicken tragr: do the folks at Institut Pasteur know you're abusing their network to troll people on the Internet? 13:36
brokenchicken tragr: maybe I should text Christian and see what he thinks of this... 13:37
tragr brokenchicken: Wow you know the director in person? Does he have time to listen to people which don't contribute anything to the institute? 13:39
DrForr Or just let .next-token return an EOF object...
brokenchicken tragr: he's a human like any other with friends outside the insitute. Now, get back to work.
tragr I think that trolling is part of my work, need to keep in touch with different realities from my main topic 13:41
tragr Bye 13:41
DrForr reads up on the Iterator type instead. 13:42
brokenchicken nqp: gist.github.com/zoffixznet/055d00d...f33403d6fb 14:34
camelia nqp-moarvm: OUTPUT«Perl 7 syntax error at line 2, near "fuc greet\n"␤ at gen/moar/stage2/NQPHLL.nqp:765 (/home/camelia/rakudo-m-inst-1/share/nqp/lib/NQPHLL.moarvm:panic)␤ from <unknown>:1 (<ephemeral file>:TOP)␤ from gen/moar/stage2/QRegex.nqp:2102 (/home/camelia/rakudo-m…»
brokenchicken Any idea why that's failing to parse?
brokenchicken These are the relevant rules: gist.github.com/zoffixznet/055d00d...p6-L18-L26 and the text to parse is "fuc greet\n 💬 'hi'\nton" 14:35
And here's the .^trace-on() for that grammar: gist.github.com/zoffixznet/7862c94...08806447d4 14:40
brokenchicken Seems the part that's missing from the match is the closing 'ton' in rule fucbody 14:42
perlpilot brokenchicken: my guess after a brief look is: fucbody is a rule which means :sigspace is on and eating your whitespace so that \n won't match. 14:44
brokenchicken perlpilot: I redefined <ws> to token ws { <!ww> \h* || \h+ } 14:45
perlpilot doh! didn't even see that.
brokenchicken And I'm following the github.com/edumentab/rakudo-and-nq...yish-3.nqp example but don't see any real difference between that version (that does compile) and mine 14:50
brokenchicken other than renaming 'def' and 'end' to 'fuc' and 'ton' 14:51
brokenchicken *phew* made it parse. The cause was (a) lack of newline after "ton"; and (b) lack of <!keyword> in token term:sym<ident> before <ident> 15:03
Programming is hard.
brokenchicken goes shopping
mspo "programming is hard, let's go scripting!" 15:11
AlexDaniel mspo: that's ok. Much better than the common “programming is hard, let's draw diagrams” 15:22
mspo perl.com is down 15:24
but it's a blog by TimToady
www.perl.com/pub/2007/12/06/soto-11.html
DrForr perldoc.perl.com needed some TLC.
Not sure why www.perl.com was affected as well, but I'm not infrastructure. 15:25
mspo not like that time cpan was down for like a week a year or so ago?
brokenchicken *phew* this took longer than I expected but I finally made functions work in Perl 7 :) 15:56
This prints "Hi": fuc meow␤ 💬 'Hi'␤ton␤meow
The syntax should really sell it to Ruby programmers ;) 15:57
brokenchicken Hm, I think I'll go with `sub`/`bus` delimiters instead. 16:02
gregf_ Perl 7? 16:14
perlpilot sub/bus would appeal to the shell programmers 16:15
brokenchicken I went with fun/ion
To encourage more fun in programming ;)
gregf_: yeah man. It's the latest and greatest Perl of them all. With largest version number and bestest logo: github.com/perl7/perl7
perlpilot Programming languages need the ability to have more whimsy like Perl ;-) 16:16
gregf_ Heh
perlpilot brokenchicken: so ... what happened to the "ct" anyway? 16:17
brokenchicken perlpilot: what ct?
perlpilot fun ct ion
it just got elided because func/tion was too many letter? 16:18
er, letters
brokenchicken perlpilot: Ah, well, Perl 7 wants to preserve its heritage of using just three letters to start a function, but at the same time we want to attract Javascript programmers and we don't want to confuse them with 'subs' hence the change to calling them functions
Exactly. Too many letters. In the no-time-for-nonsense futuristic programming of Perl 7 we don't need to type 4 letters where 3 will suffice 16:19
perlpilot Surely then, there should be single unicode letter synonyms for fuc/ion 16:20
(why type 3 letters when 1 will do?)
perigrin brokenchicken: obviously what you need to do is core metacpan.org/pod/lambda
brokenchicken Our marketing research shows programmers don't want any silly symbols in their programs and so Perl 7 will stick to using just the symbols written on the keyboard. The only exception is the print function that in Perl 7 is 💬 because we still want to show people how cool and trendy we are. 16:22
perlpilot heh 16:23
[Coke] I would recommend include your musings here in a design doc in the repo. 16:25
brokenchicken heh 16:27
[Coke] *ding
travis-ci Doc build errored. Antonio Quinonez 'Merge branch 'operators'' 16:43
travis-ci.org/antquinonez/doc/builds/195911920 github.com/antquinonez/doc/compare...cc0670735c
brokenchicken Check it out. We've reached a new milestone: 16:49
m: '/tmp/foo/d.pm6'.IO.spurt: 'use v6.d.PREVIEW; say &await.file'
camelia ( no output )
brokenchicken m: '/tmp/foo/c.pm6'.IO.spurt: 'use v6.c; say &await.file'
camelia ( no output )
brokenchicken m: use lib </tmp/foo>; use c; use d;
camelia rakudo-moar dd1cb5: OUTPUT«SETTING::src/core/asyncops.pm␤SETTING::src/core.d/await.pm␤»
brokenchicken Two Perl 6 versions in the same program :D 16:50
haxmeister hello.. any perl6 gurus using atom editor on linux? 17:00
brokenchicken yup
I do. And I'm a proper Perl 6 Guru.
(I got a certificate) 17:01
haxmeister did you have any difficulty with permissions?
brokenchicken Nope
haxmeister well poo
atom channel is unresponsive for days now
brokenchicken What sort of permissions?
haxmeister it won't let me save a file.. even a new one.. saying I don't have permission 17:02
brokenchicken As I recall, I just downloaded a .deb from atom.io/ and sudo dpkg -i it
Where are you trying to save it to?
You could try running it from the terminal to see if it spews out any debug info into it. 17:03
haxmeister actually it just worked
odd
brokenchicken \o/
haxmeister lol
\o/ indeed 17:04
I like atom.. I like perl6.. I like the perl6 highlighting in atom :-D
brokenchicken Cool. You're using language-perl6 package, right?
haxmeister I have that.. and also the perl6fe package 17:05
brokenchicken perl6fe is outdated version of language-perl6
haxmeister ah ok.. I'll remove it then 17:06
haxmeister lot of docs that aren't clearly dated.. just trying to get a working environment to start heavy perl6 study 17:06
brokenchicken :)
haxmeister oh I see.. won't let me save in certain places 17:08
I can save in ~ 17:09
but not in the subfolder ~/Dropbox/perl6
[Coke] brokenchicken: is there a way to tell atom to not show .git foldersd? 17:15
brokenchicken [Coke]: no idea. 17:15
[Coke] brokenchicken: I assume atom.io/packages/language-perl6fe is the wrong package to be using? 17:32
TimToady re yesterday's discussion, note that you can do occasional interpolation into q:to// using \qq[$x] 17:35
TimToady but we should also think about an option that turns q's conservative backslash policy into qq's more liberal backslash policy (that is, remove backslashes on everything, not just backslash and closing delim) 17:37
though perhaps conservative/liberal are fighting words these days... 17:38
brokenchicken [Coke]: that's the outdated MadcapJake's one. language-perl6 superseeds it 17:40
m: my $x = 42; q:to/\qq[$x]<foo>/.say 17:42
camelia rakudo-moar dd1cb5: OUTPUT«Premature heredoc consumption␤ in block <unit> at <tmp> line 1␤␤»
brokenchicken m: my $x = 42; q/\qq[$x]<foo>/.say
camelia rakudo-moar dd1cb5: OUTPUT«42<foo>␤»
brokenchicken neat \o/
TimToady or maybe Q:s should somehow know to slurp a subsequent backslash to turn off subscripting, but that seems wrongish somehow I can't put my finger on without more coffee 17:45
brokenchicken m: my $x = 42; qq/\q[$x]<foo>/.say 17:49
camelia rakudo-moar dd1cb5: OUTPUT«$x<foo>␤»
brokenchicken cool
travis-ci Doc build errored. Antonio Quinonez 'Merge branch 'operators'' 17:49
travis-ci.org/antquinonez/doc/builds/195911920 github.com/antquinonez/doc/compare...cc0670735c
TimToady m: my $x = 42; qq/\q:s[$x]<foo>/.say 17:58
camelia rakudo-moar 012c54: OUTPUT«42<foo>␤»
TimToady m: my $x = 42; qq/\qs[$x]<foo>/.say
camelia rakudo-moar 012c54: OUTPUT«42<foo>␤»
TimToady I guess \qs is the same length as \qq, huh 17:59
mspo brokenchicken: there is a sumbol for function 18:16
mspo the f 18:17
ƒ
brokenchicken u: ƒ 18:18
unicodable6 brokenchicken, U+0192 LATIN SMALL LETTER F WITH HOOK [Ll] (ƒ)
TimToady thinks p7 should be pronounced "interperl" 18:20
moritz plan 7 from outer space 18:21
TimToady that's what the name of it is called, not how it's pronounced :) 18:22
TimToady remembers one of the reasons his younger son is named "Lewis" 18:23
brokenchicken Is it possible to *extend* instead of redefine a token? I want to add a hyphen to <ident> token that comes from HLL::Grammar 18:54
brokenchicken hm, maybe that makes no sense /me sees how that's done in P6 18:55
Geth oc: 6f7f862196 | (Samantha McVey)++ | htmlify.p6
Make sure Proc::Async is the default so Travis CI doesn't time out

Was accidentally set to the wrong default after some changes were made.
19:01
brokenchicken Hm. The internals course says "A QAST::Block should only ever appear once inside a QAST tree." but in the same slides there's one QAST::Block for main program's scope and another one within it for a function's block. 19:06
I guess it means a particular block should be repeated and use QAST::BVal if you wanna refer to an already existing block... 19:07
*should not
mst that sounds like it means "Any given instance of QAST::Block should ..." 19:08
brokenchicken Makes sense. 19:09
haxmeister perl6 reduction operators... so beautifully lispy 19:11
[Coke] does the "update, run tests, fix things, push....fails - oh, update, start over...' dance. 19:13
Geth oc: 91e734664d | (Will "Coke" Coleda)++ | doc/Language/unicode.pod6
fix typos, remove trailing whitespace, use nbsp
19:16
oc: 94a5e89a5a | (Will "Coke" Coleda)++ | xt/code.pws
learn new words
mspo perl6 should probably be called lastperl 19:20
brokenchicken lastlang 19:23
brokenchicken Since it's the last language everyone will ever learn 19:23
mspo: I've used ƒ in Perl 7 instead of & to refer to functions as things :) 19:24
mspo when they finally throw up their hands? :)
brokenchicken: good job
there's a symbol for everything!
mspo brokenchicken: I thought the goal was to write an APL and then a J (and maybe even a K) 19:25
displaying utf8 characters is the one thing the toughbar could be good for
El_Che brokenchicken: What triggered the <sarcasm> mode?
mspo although a supplemental ipad keypad seems like a nicer solution 19:26
brokenchicken El_Che: hm?
El_Che brokenchicken: the perl7 thing
brokenchicken El_Che: a keen eye may notice the perl7 thing correlates highly with stuff done in Rakudo internals course :P
brokenchicken El_Che: but I'll also leave avaiable as curve-ball to any future "logo sucks" type of arguments vis-a-vis Perl 6 :) 19:33
El_Che brokenchicken: reactive troll :) 19:35
brokenchicken :) 19:36
mspo rakudo internals? 19:45
brokenchicken github.com/edumentab/rakudo-and-nq...als-course
mspo that's a super specific set of stuff :) 19:50
agentzh_ does Perl 6's Proc/run has timeout protection settings? 20:15
*have
mspo Proc::Async uses promises to do that, I think? 20:17
gfldex agentzh_: not build in 20:19
agentzh_ need threads for that? 20:20
gfldex yes 20:21
perlpilot ks0608.hatenablog.com/entry/2016/05/17/001826
mspo nice 20:22
perlpilot (personally, I'd probably just do the Promise.in($timeout) stuff myself since it's so simple; no need for a nice wrapper really.
)
agentzh_ thanks for the pointer. 20:23
is Promise implemented as an OS thread? 20:24
b2gills agentzh_: It mostly just tells the scheduler to handle `.in` github.com/rakudo/rakudo/blob/nom/...#L223-L228 20:30
Geth oc: 5145151b6d | (Wenzel P. P. Peppmeyer)++ | doc/Type/Promise.pod6
better example for Promise.in
20:36
gfldex agentzh_++
agentzh_ b2gills: thanks 20:38
gfldex: oh wow.
travis-ci Doc build passed. Samantha McVey 'Make sure Proc::Async is the default so Travis CI doesn't time out 20:38
travis-ci.org/perl6/doc/builds/195971318 github.com/perl6/doc/compare/bd5ef...7f8621963e
travis-ci Doc build passed. Will "Coke" Coleda 'learn new words' 20:57
travis-ci.org/perl6/doc/builds/195975836 github.com/perl6/doc/compare/6f7f8...a5e89a5ae7
MasterDuke u: emoji fitz 22:14
unicodable6 MasterDuke, U+1F3FC EMOJI MODIFIER FITZPATRICK TYPE-3 [Sk] (🏼)
MasterDuke, U+1F3FB EMOJI MODIFIER FITZPATRICK TYPE-1-2 [Sk] (🏻)
MasterDuke, gist.github.com/403b4b6d64bec02c5e...210b13d9fe
MasterDuke .tell AlexDaniel it's not completely terrible as is. how much nqp:: is required to get that 20%? 22:15
yoleaux MasterDuke: I'll pass your message to AlexDaniel.
kybr C« fixed-width POD text » # what's this sort of thing mean? C? 22:18
brokenchicken kybr: in HTML it'd be <code></code> 22:20
<code>fixed-width POD text</code>
kybr: where did you get that from? 22:21
RabidGravy boom! 22:35
AlexDaniel . 22:47
yoleaux 22:15Z <MasterDuke> AlexDaniel: it's not completely terrible as is. how much nqp:: is required to get that 20%?
AlexDaniel MasterDuke: for example, this line github.com/perl6/whateverable/blob...le.p6#L103 turns into this: for @words -> str $word { $sieve .= grep({nqp::isge_i(nqp::index(nqp::getuniname($_), $word, 0), 0)}) }; 22:49
MasterDuke that's not bad 22:59
kybr brokenchicken: docs.perl6.org/language/unicode_entry C« fixed-width POD text » i still don't get it.. is C something i can look up and read about? 23:03
cale2 Do you think Dependent types and Contracts/Guards are similar?
I guess the difference is that dependent types are built in as a required system. Whereas contracts are optional 23:04
But functionally they provide the same thing
The example I see with Idris is `reverseInvolution : (xs : List a) -> reverse (reverse xs) = r` 23:07
geekosaur kybr, design.perl6.org/S26.html#Example_specifiers 23:08
this is not part of perl 6 code, but perl 6 documentation (POD6)
cale2 But the same in P6 is `subset ReverseInvolution of Str where { $_.reverse == $_ }`
kybr geekosaur: ooooh. i get it now. much thanks! 23:13
Geth oc: 98c115eaad | (Zoffix Znet)++ | doc/Language/unicode_entry.pod6
Use better example

To avoid confusion[^1] for those unfamiliar with POD
  [1] irclog.perlgeek.de/perl6/2017-01-27#i_14001058
23:14
geekosaur heh
brokenchicken heh? :) 23:16
geekosaur just the way you jumped on it as soon as I clarified :)
brokenchicken Nah, I jumped on it before, I was just struggling to get the code example to compile correctly :) 23:17
brokenchicken In `sub foo:sym<meow> {}` what is the `:sym<>` bit called? "The :sym<> _____ is reserved" what fits in the blank? 23:52