jpoirier has quit [Quit: Konversation terminated!]
<martinium>
SeanTAllen, how soon until it's uploaded to the linux repos?
<SeanTAllen>
martinium: by "the linux repos" do you mean the bintray repos that we use?
<SeanTAllen>
if that is what you mean, then they have been there for a few hours. we never announce until windows, deb and rpm packages are available in bintray and it's also available via homebrew.
jemc has quit [Ping timeout: 260 seconds]
<martinium>
SeanTAllen, yeah I meant the bintray repos. I just tried to update on Fedora 26 and nothing yet so i guess it isn't "live" yet
<martinium>
got it to work. Just had to force a repo refresh
<martinium>
:)
<SeanTAllen>
ah
<martinium>
it kept trying to use recently cached data
<martinium>
dnf update --refresh did the trick
jemc has joined #ponylang
endforma1 has joined #ponylang
endformationage has quit [Ping timeout: 240 seconds]
martinium has quit [Remote host closed the connection]
jmiven has quit [Ping timeout: 252 seconds]
jmiven has joined #ponylang
dipin has quit [Quit: dipin]
samuell has joined #ponylang
samuell has quit [Remote host closed the connection]
samuell has joined #ponylang
endforma1 has quit [Ping timeout: 240 seconds]
sarna has joined #ponylang
jemc has quit [Ping timeout: 248 seconds]
benq has joined #ponylang
bitcrusher has quit [Read error: Connection reset by peer]
kai3x5 has quit [Ping timeout: 248 seconds]
kai3x5 has joined #ponylang
benq has quit [Ping timeout: 248 seconds]
sarna has quit [Quit: Connection closed for inactivity]
dom96 has quit [Ping timeout: 246 seconds]
dom96 has joined #ponylang
dom96 has joined #ponylang
aturley has joined #ponylang
codec_ has joined #ponylang
<codec_>
hi
<SeanTAllen>
hello codec_
<codec_>
I have created a prototype for the pony tutorial book to be able to send code samples to the playground
<codec_>
But it has quite a few issues so I don't if this is really usefull, do you think I should open a PR/issue about that ?
codec__ has joined #ponylang
codec_ has quit [Quit: Page closed]
ShalokShalom_ has joined #ponylang
ShalokShalom has quit [Ping timeout: 246 seconds]
<SeanTAllen>
what sort of issues?
<codec__>
it adds the button for any code block (even the how to compile instruction) and most of them are not valid per se (they often lack the actor Main declaration)
<codec__>
Plus I am no expert on Js and npm, so it don't know if there is some issues I haven't seen yet.
<codec__>
On the good side, there is nothing to do from a user side.
<SeanTAllen>
i'd say open a PR where discussion could happen
<SeanTAllen>
make sure that you raise the issues that need to be discussed
<SeanTAllen>
also, you could join the sync call today to discuss if you want
<codec__>
at which time?
voldyman has quit [Read error: Connection reset by peer]
voldyman has joined #ponylang
<SeanTAllen>
it's at 3:30 eastern
<SeanTAllen>
if you join the developer mailing list, you'll see all the info. its a zoom meeting.
<SeanTAllen>
so codec__ what is going on there, the iterator, that's an alias to the iso, so its unsafe to do with the `iso` type that split is returning. what i did there was say, "actually" this isn't an iso, it's immutable (val), which makes it safe to iterate over using `values`
jemc has joined #ponylang
<codec__>
I have trouble understanding it
<codec__>
dimensions is a Array[String val] iso, so why can't I call values() on it ?
<SeanTAllen>
because values() creates an alias
<SeanTAllen>
iso says "there is only 1 copy of this"
<SeanTAllen>
there are no other aliases.
<SeanTAllen>
iso is very strict in terms of what you can do with it
<codec__>
I see, so values() should copy the list to avoid making an alias? But it probably don't because of performance?
<SeanTAllen>
probably not but if you want to safely iterate without violating "iso" then yes, you want a copy
<SeanTAllen>
so the real question is, do you need an iso after you split?
<SeanTAllen>
i assumed, no, you don't and made it immutable.
<codec__>
not at all, and by subcasting it to ref it works as I wanted
<SeanTAllen>
basically that "recover val ... end"
<SeanTAllen>
i was saying "i give up mutability on this"
<SeanTAllen>
by changing to a ref, what you are saying it "i give up the ability to share this with other actors"
<codec__>
that is fine for that case
<codec__>
what confused me was that since I don't mutated it the compiler would see that it could relax the constraint on iso
<codec__>
to make the code compiling
<SeanTAllen>
the compiler could be made smarter in its analysis but thats a rather tricky problem
<codec__>
by the way, can I subtype it to ref without stating the whole type?
<codec__>
of any other capabilites for that matter
<SeanTAllen>
im not sure i understand your question
<SeanTAllen>
can you give an example?
<codec__>
sure, so it compile fine if I do let dimensions : Array[String] box = content.split("x")
<codec__>
but I can't do let dimensions : box = content.split("x")
<SeanTAllen>
yes you have to provide the full type
<codec__>
ok thanks
dipin has joined #ponylang
<SeanTAllen>
you're welcome
tscho has quit [Read error: Connection reset by peer]
tscho has joined #ponylang
endforma1 has joined #ponylang
clint_ has quit [Ping timeout: 246 seconds]
clint_ has joined #ponylang
nisanharamati has joined #ponylang
codec__ has quit [Quit: Page closed]
clint__ has joined #ponylang
clint_ has quit [Ping timeout: 255 seconds]
clint_ has joined #ponylang
ShalokShalom has joined #ponylang
ShalokShalom_ has quit [Ping timeout: 248 seconds]
clint__ has quit [Ping timeout: 252 seconds]
clint__ has joined #ponylang
clint_ has quit [Remote host closed the connection]
ShalokShalom has quit [Remote host closed the connection]
_andre has quit [Read error: Connection reset by peer]
jemc has quit [Ping timeout: 248 seconds]
clint__ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
acarrico has quit [Quit: Leaving.]
jemc has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
user10032 has joined #ponylang
clint_ has joined #ponylang
Praetonus has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
user10032 has quit [Read error: Connection reset by peer]
user10032 has joined #ponylang
vaninwagen has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
sarna has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
Praetonus has quit [Quit: Leaving]
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
clint_ has quit [Read error: Connection reset by peer]
clint_ has joined #ponylang
vaninwagen has quit [Ping timeout: 248 seconds]
samuell has quit [Quit: Leaving]
user10032 has quit [Quit: Leaving]
samuell has joined #ponylang
Praetonus has joined #ponylang
sarna has quit [Quit: Connection closed for inactivity]
jemc has quit [Ping timeout: 260 seconds]
samuell has quit [Remote host closed the connection]