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
ascheel10 has joined #ponylang
ascheel10 has quit [Remote host closed the connection]
Zanzibar26 has joined #ponylang
<Zanzibar26> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Zanzibar26> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Zanzibar26> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Zanzibar26> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
Zanzibar26 has quit [Remote host closed the connection]
MetaNova4 has joined #ponylang
MetaNova4 has quit [Remote host closed the connection]
<endformationage> Tuples have refcaps correct?
aaron7 has joined #ponylang
<aaron7> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
aaron7 has quit [Remote host closed the connection]
<slfritchie> Hmmmm, that I'm not at all sure about endformationage. The stuff inside the tuple definitely does, but the tuple itself? I don't recall stumbling across any syntax/use of a refcap on a tuple. Reviewing https://tutorial.ponylang.org/types/type-expressions.html, it says that a tuple is a sequence of types but doesn't hint one way or the other about a refcap for the entire tuple.
Iota9 has joined #ponylang
Iota9 has quit [Remote host closed the connection]
<endformationage> You cannot say something like: `let t: (Foo iso, USize) iso`, but you can do: type MyTuple is (Foo iso, USize); let t: MyTuple iso, and the compiler reacts to the type, as (Foo iso, USize iso)
<endformationage> I got to thinking about it becuase I made a little explaination regarding isolates with tuples, and found myself a bit suprised to be able to send such a tuple to an actor while another alias to it existed.
DanPin4 has joined #ponylang
<DanPin4> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<DanPin4> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<DanPin4> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<DanPin4> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<endformationage> slfritchie: See the coda at the end here: https://playground.ponylang.org/?gist=0997d45739cf0530a673027ffdb1c8c1
DanPin4 has quit [Remote host closed the connection]
<endformationage> I don't think there's anything unsafe going on there, but left me with less understanding regarding tuples and refcaps..
obserd has joined #ponylang
obserd has quit [Remote host closed the connection]
jrslepak25 has joined #ponylang
<jrslepak25> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<jrslepak25> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<jrslepak25> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<jrslepak25> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
jrslepak25 has quit [Remote host closed the connection]
Cajs22 has joined #ponylang
Cajs22 has quit [Remote host closed the connection]
Quokka12 has joined #ponylang
<Quokka12> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Quokka12> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Quokka12> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Quokka12> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
Quokka12 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
SWAT16 has joined #ponylang
SWAT16 has quit [Remote host closed the connection]
Dan_Bennett has joined #ponylang
manish4 has joined #ponylang
<Dan_Bennett> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<manish4> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Dan_Bennett> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<manish4> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Dan_Bennett> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<manish4> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Dan_Bennett> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<manish4> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
manish4 has quit [Remote host closed the connection]
Dan_Bennett has quit [Remote host closed the connection]
khan has joined #ponylang
nukedclx15 has joined #ponylang
<nukedclx15> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<nukedclx15> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<nukedclx15> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
nukedclx15 has quit [K-Lined]
kameloso16 has joined #ponylang
<kameloso16> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<kameloso16> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<kameloso16> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<kameloso16> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
ozymandias22 has joined #ponylang
ozymandias22 has quit [Remote host closed the connection]
kameloso16 has quit [Ping timeout: 256 seconds]
sabre104115 has joined #ponylang
<sabre104115> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<sabre104115> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<sabre104115> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<sabre104115> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
sabre104115 was banned on #ponylang by SeanTAllen [sabre104115!*@*]
sabre104115 has quit [Remote host closed the connection]
BurningPrincess1 has joined #ponylang
BurningPrincess1 has quit [Remote host closed the connection]
khan_ has joined #ponylang
khan has quit [Ping timeout: 264 seconds]
khan_ is now known as khan
macker7 has joined #ponylang
<macker7> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<macker7> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<macker7> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<macker7> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
endformationage has quit [Quit: WeeChat 1.9.1]
macker7 has quit [Remote host closed the connection]
exio47 has joined #ponylang
<exio47> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<exio47> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<exio47> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
exio47 has quit [K-Lined]
<SeanTAllen> Hi everyone who is here, I've set the channel to require a registered nick right now given the amount of spam coming in. Hopefully it helps.
khan_ has joined #ponylang
khan has quit [Ping timeout: 240 seconds]
khan_ is now known as khan
khan has quit [Quit: khan]
khan has joined #ponylang
<vaninwagen> endformationage in your example in the coda, everything is safe and expected. Tuples themselves dont have refcaps, their elements do. Think of them as a very shallow, transparent hull, that doesnt have anything to do with refcaps. Just for putting two or more things together in something that can be referenced with a single variable
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
khan_ has joined #ponylang
khan has quit [Ping timeout: 256 seconds]
khan_ is now known as khan
inoas has joined #ponylang
catern has quit [Ping timeout: 248 seconds]
keathley has quit [Read error: Connection reset by peer]
CcxWrk has quit [Read error: Connection reset by peer]
CcxWrk has joined #ponylang
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ponylang
inoas has quit [Quit: inoas]
CcxWrk_ has joined #ponylang
CcxWrk has quit [Killed (card.freenode.net (Nickname regained by services))]
CcxWrk_ is now known as CcxWrk
CcxWrk has quit [Max SendQ exceeded]
ExtraCrispy has quit [*.net *.split]
Licenser has quit [*.net *.split]
lisael has quit [*.net *.split]
CcxWrk has joined #ponylang
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ponylang
khan has quit [Ping timeout: 240 seconds]
endformationage has joined #ponylang
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
khan has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
xek_ is now known as xek
<endformationage> vaninwagen: Thanks. Assigning a second reference to the tuple (let t'' = t') is something like a parallel referrence assignment for each element. In that, an iso in the original tuple reference becomes an iso! in the new tuple reference.
<vaninwagen> Correct
Licenser has joined #ponylang
khan has quit [Quit: khan]
acarrico has joined #ponylang
alxs has joined #ponylang
khan has joined #ponylang
Bombe has quit [Ping timeout: 256 seconds]
Bombe has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
khan has quit [Quit: khan]
<endformationage> I could use some insight into the difference between these generic functions, and how to match agaist the generic value with type Any #share:
Nilium has joined #ponylang
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
alxs has quit [Client Quit]
Chex26 has joined #ponylang
<Chex26> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Chex26> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Chex26> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Chex26> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
Chex26 has quit [Remote host closed the connection]
<SeanTAllen> Welp, I turned off needing to be registered to join the channel and less than 5 minutes later, spam.
<SeanTAllen> Nice
* endformationage laughs
<SeanTAllen> Turning the must be registered back on
<SeanTAllen> Will try that again tomorrow and see what happens
alxs has joined #ponylang
alxs has quit [Client Quit]
<endformationage> Ah. Ragarding my request for insight ^. It has helped to think about this again with the knowledge that refcaps do not exist at runtime.
<endformationage> It makes sense to me now why matching doesn't work in `example_genernic_send` (refcaps don't exist at runtime).
<endformationage> But why can one match on `event` as in `example_generic_union`?
<endformationage> Ah, I see it now.
<endformationage> Hmm, no. No I don't. Dang generics are difficult.
alxs has joined #ponylang
alxs has quit [Client Quit]
alxs has joined #ponylang
alxs has quit [Client Quit]
<SeanTAllen> you need to use "iftype" for refcaps endformationage, because its a compile time thing.
<SeanTAllen> But I'm not sure from your example what the problem is.
<SeanTAllen> Perhaps the question is simply "how", in which case the answer would be "iftype" that isnt really documented yet.
<christianpoveda> Hi everyone! I'm checking Pony and I'm wondering, does Pony has some package manager?
<SeanTAllen> christianpoveda: depends on what you mean by package manager. my answer is probably not...
<christianpoveda> something like cargo in rust
<SeanTAllen> we have pony-stable which is a dependency manager. it definitely doesnt do everything that cargo does.
_andre has quit [Quit: leaving]
<christianpoveda> ohh ok ok
<christianpoveda> thank you!
<SeanTAllen> generally a lot of what folks do with something like cargo, pony folks use make for.
<SeanTAllen> and then some is also built into the compiler.
<christianpoveda> but stable is enough for fetching dependencies and building my project, right?
<slfritchie> Probably yes
<SeanTAllen> christianpoveda: for fetching
<SeanTAllen> Pony compiler can build
<SeanTAllen> If you have a complicated build scenario, people use a variety of tools including make
<endformationage> SeanTAllen: I was just reading up on iftype!
<endformationage> Looks like iftype has a problem with Any (https://github.com/ponylang/ponyc/issues/2363), which I'll propabably run into. Going to try anyway :)
<endformationage> SeanTAllen: Actually it works! https://playground.ponylang.org/?gist=d8d13d093c82f90589765c42463a5dae
xek has quit [Remote host closed the connection]
PrsPrsBK has quit [Ping timeout: 256 seconds]
<SeanTAllen> endformationage: excellent!