jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
_whitelogger has joined #ponylang
milisarge has quit [Ping timeout: 256 seconds]
gokr has left #ponylang [#ponylang]
milisarge has joined #ponylang
zeta has joined #ponylang
zetashift has quit [Ping timeout: 256 seconds]
mahsav has joined #ponylang
milisarge has quit [Ping timeout: 256 seconds]
jwashton has joined #ponylang
jemc has quit [Ping timeout: 248 seconds]
milisarge has joined #ponylang
mahsav has quit [Ping timeout: 256 seconds]
jemc has joined #ponylang
jwashton has quit []
mahsav has joined #ponylang
nisanharamati has quit [Quit: Connection closed for inactivity]
milisarge has quit [Ping timeout: 248 seconds]
milisarge has joined #ponylang
mahsav has quit [Ping timeout: 248 seconds]
atk has quit [Quit: Well this is unexpected.]
atk has joined #ponylang
endformationage has quit [Quit: WeeChat 1.9.1]
khan has joined #ponylang
jemc has quit [Ping timeout: 255 seconds]
jemc has joined #ponylang
jemc has quit [Ping timeout: 260 seconds]
jemc has joined #ponylang
jemc has quit [Ping timeout: 276 seconds]
dubiousjim has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
milisarge has quit [Ping timeout: 255 seconds]
user10032 has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
gokr has joined #ponylang
user10032 has quit [Remote host closed the connection]
codec1 has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Remote host closed the connection]
codec1 has quit [Ping timeout: 268 seconds]
milisarge has joined #ponylang
<dubiousjim> Could someone explain why Array/String have both concat and append methods?
<dubiousjim> I see the difference in their signatures, but why wouldn't it be possible to have a unified method
<dubiousjim> that used the codepath for ReadSeq if the argument implemented that, else fallsback to the codepath for Iterator?
<dubiousjim> I could only make that work using `ref` cap for the `more` argument, but someone who knows what they're
<dubiousjim> doing might be able to liberalize that...?
<dubiousjim> sorry that link is broken, this is right: https://playground.ponylang.org/?gist=216d012a314d9c2ffb902cdc0aed87f1
doublec has quit [Quit: leaving]
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vaninwagen has joined #ponylang
_andre has joined #ponylang
dubiousjim has joined #ponylang
gokr has quit [Quit: Leaving.]
<vaninwagen> dubiousjim, i think one of the issues with unifying Array.concat and Array.append is that an Iterator is by default ref while a ReadSeq is box, that means it supports val and ref capabilities, an Iterator must be ref.
<vaninwagen> dubiousjim, a unified api would indeed be quite convenient, this example works for both (using iftype): https://gist.github.com/a3d88ca7a19faf8bea5f872bfa1f20d9
codec1 has joined #ponylang
<dubiousjim> vaninwagen: thanks, so is there any theoretical shortcoming to what's in your gist?
<dubiousjim> which makes the existing dual-API in the stdlib more desirable?
<dubiousjim> if i understand correctly, your gist gets around the issue of different caps for Iterator vs ReadSeq
<vaninwagen> dubiousjim, yes as it does not need to match at runtime
khan has joined #ponylang
<vaninwagen> dubiousjim, i don't see any shortcomings, but i am also quite distracted by now
<vaninwagen> i would suggest creating an RFC or RFC issue for discussion of this change
alxs has joined #ponylang
<dubiousjim> OK, I'll do that (sometime soonish)
<dubiousjim> thanks
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
vaninwagen has quit [Ping timeout: 256 seconds]
alxs has joined #ponylang
codec1 has quit [Quit: Leaving.]
gokr has joined #ponylang
<dubiousjim> I added a comment to your gist. I was able to get your unified function to compile inside builtin/array.pony
<dubiousjim> but I wasn't able to get the existing `append` and `concat` functions to be expressible in terms of it (without changing their API)
<dubiousjim> as I think would be desirable, if this were to be a proposed language change
<dubiousjim> this might be achievable, but i'm not sure atm how to do it
<SeanTAllen> We have an RFC process for that: https://github.com/ponylang/rfcs/
<dubiousjim> @SeanTAllen: right, thanks, i'd like to see this proposal get hashed out there...
<dubiousjim> but it seemed to be still on toddler legs atm
<dubiousjim> and since my own understanding of pony is still rudimentary, i thought i should toss what i had figured out into this discussion form
<dubiousjim> *forum
gokr has quit [Quit: Leaving.]
jemc has joined #ponylang
gokr has joined #ponylang
gokr has quit [Ping timeout: 240 seconds]
codec1 has joined #ponylang
mahsav has joined #ponylang
milisarge has quit [Ping timeout: 268 seconds]
nisanharamati has joined #ponylang
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vaninwagen has joined #ponylang
dubiousjim has joined #ponylang
user10032 has joined #ponylang
winksaville has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
codec1 has quit [Quit: Leaving.]
khan has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
xllndr has joined #ponylang
alxs has joined #ponylang
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dubiousjim has joined #ponylang
vaninwagen has quit [Ping timeout: 256 seconds]
SenasOzys has joined #ponylang
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dlowe has quit [Quit: ZNC - http://znc.sourceforge.net]
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
dubiousjim has joined #ponylang
alxs has joined #ponylang
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
codec1 has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
dlowe has joined #ponylang
vaninwagen has joined #ponylang
user10032 has quit [Quit: Leaving]
alxs has joined #ponylang
HarryHaaren has joined #ponylang
alxs has quit [Ping timeout: 268 seconds]
alxs has joined #ponylang
alxs has quit [Client Quit]
yunchih_ has quit [Remote host closed the connection]
mahsav has quit [Ping timeout: 248 seconds]
dgcaccam has joined #ponylang
acarrico has quit [Ping timeout: 260 seconds]
alxs has joined #ponylang
alxs has quit [Client Quit]
milisarge has joined #ponylang
xllndr has quit [Quit: Leaving]
alxs has joined #ponylang
alxs has quit [Client Quit]
khan has quit [Quit: khan]
milisarge has quit [Ping timeout: 256 seconds]
alxs has joined #ponylang
dubiousjim has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
milisarge has joined #ponylang
jmiven has quit [Quit: co'o]
jmiven has joined #ponylang
dgcaccam has quit [Ping timeout: 260 seconds]
mahsav has joined #ponylang
milisarge has quit [Ping timeout: 248 seconds]
gokr has joined #ponylang
dubiousjim has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dipin has joined #ponylang
vaninwagen has quit [Ping timeout: 256 seconds]
HarryHaaren has quit [Quit: bye]
codec1 has quit [Read error: Connection reset by peer]
SenasOzys_ has joined #ponylang
SenasOzys has quit [Remote host closed the connection]
milisarge has joined #ponylang
mahsav has quit [Ping timeout: 256 seconds]