SenasOzys has quit [Remote host closed the connection]
khan has quit [Quit: khan]
khan has joined #ponylang
dipin has quit [Quit: dipin]
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
jemc has quit [Ping timeout: 248 seconds]
endformationage has quit [Quit: WeeChat 1.9.1]
user10032 has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
patroclos has joined #ponylang
patroclos has quit [Ping timeout: 240 seconds]
user10032 has quit [Remote host closed the connection]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
alxs has joined #ponylang
alxs has quit [Ping timeout: 264 seconds]
SenasOzys has joined #ponylang
khan has quit [Quit: khan]
_whitelogger_ has joined #ponylang
aturley has quit [Ping timeout: 260 seconds]
Licenser has quit [Ping timeout: 260 seconds]
lisael has quit [Ping timeout: 260 seconds]
Licenser has joined #ponylang
strmpnk has joined #ponylang
strmpnk has quit [Changing host]
_whitelogger has quit [Remote host closed the connection]
hardliner66 has joined #ponylang
<hardliner66>
hi, is there a way to compile pony code to a 32 bit binary/library on windows?
codec1 has joined #ponylang
khan has joined #ponylang
alxs has joined #ponylang
alxs has quit [Client Quit]
alxs has joined #ponylang
alxs has quit [Client Quit]
alxs has joined #ponylang
khan has quit [Read error: Connection timed out]
khan has joined #ponylang
aturley_ has quit [Quit: aturley_]
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
alxs has joined #ponylang
dipin has joined #ponylang
jemc has joined #ponylang
aturley has joined #ponylang
SenasOzys has quit [Ping timeout: 268 seconds]
SenasOzys has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
khan has quit [Quit: khan]
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
aturley_ has joined #ponylang
aturley has quit [Ping timeout: 268 seconds]
endformationage has joined #ponylang
brainproxy has joined #ponylang
aturley has joined #ponylang
aturley_ has quit [Ping timeout: 240 seconds]
hardliner66 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
MightyAlex has joined #ponylang
<MightyAlex>
hey, can somebody explain to me why `new val create(my_arg: A val)` isn't valid when A is a generic type?
dipin has quit [Quit: dipin]
endformationage has quit [Read error: Connection reset by peer]
endformationage has joined #ponylang
<jemc>
MightyAlex: as I understand it, it's not that overriding the cap of a generic type is fundamentally unsafe - it's just that our typechecker is not equipped to handle all the edge cases that pop up, so we don't allow it
<jemc>
in your specific example here, you can probably accomplish what you want by saying `val->A` rather than `A val`
<MightyAlex>
okay cool, i'll try that
<jemc>
basically saying "whatever the reified cap of A is, transform it as if I were reading it from a field on a `val` object, according to the normal rules for viewpoint types"
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
inoas has quit [Quit: inoas]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
betawaffle has joined #ponylang
<betawaffle>
howdy ponyphiles
<jemc>
*wave*
<betawaffle>
i wish pony was ready for prime-time
<SeanTAllen>
what constitutes "ready for primetime" betawaffle?
<betawaffle>
SeanTAllen: when the website doesn't tell me not to use it :P
<betawaffle>
a 1.0 would be a good start, of course. though i totally understand not wanting to do that yet
<betawaffle>
since that would lock down a lot of options
<betawaffle>
honestly for me, the key metric is do i have a chance of convincing whatever company i work for that i should be allowed to use it for something
<betawaffle>
does anyone currently use pony in "production" code?
<SeanTAllen>
clients of Wallaroo Labs will soon.
<betawaffle>
well that's cool
<SeanTAllen>
there's an earlier version of Pony running in production at a major UK bank
<SeanTAllen>
that is where Pony started
<betawaffle>
yeah, that doesn't surprise me
<SeanTAllen>
ive rumor of it being used elsewhere
<betawaffle>
pony needs a nicer docs theme
<SeanTAllen>
PRs welcome!
<betawaffle>
oh i'm sure. the question is will i have any time to make said
<betawaffle>
tl;dr: pony is cool, keep it up
<SeanTAllen>
thanks!
<betawaffle>
there aren't enough languages with the actor model (erlang is my day job), and afaik, nobody does capabilities
alxs has joined #ponylang
jemc has quit [Quit: WeeChat 1.9]
_andre has quit [Quit: leaving]
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]