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
mcguire2 has quit [Ping timeout: 244 seconds]
mcguire has joined #ponylang
mvzink has quit [Ping timeout: 244 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 272 seconds]
c355e3b has quit [Quit: Connection closed for inactivity]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 264 seconds]
jemc has joined #ponylang
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
amclain has quit [Quit: Leaving]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 256 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 244 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 272 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 272 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 256 seconds]
jemc has quit [Ping timeout: 252 seconds]
mrkishi has joined #ponylang
mrkishi has quit [Remote host closed the connection]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 244 seconds]
<Candle> Why does stdlib/net use a string for the 'service' when it's used to contain the port number?
<doublec> Candle: I believe it can also contain a descriptor of the service
<doublec> Candle: eg, "ntp", "www", etc.
<doublec> Candle: see "man services" on unix
<Candle> That makes some sense.
<Candle> Does make restricting the number representation to > 1024 and < 2^16 harder though.
<Candle> doublec: Did you get a chance to wxperiment with my pony plugin for maven?
<Candle> experiment*
<doublec> Candle: the C API it uses also takes a string
<doublec> Candle: not yet - I did install maven today for a java project so I can test on the weekend
<doublec> Candle: do you have an example project that uses it?
<doublec> Ah, pony-eventbus
<Candle> yeah, that's a library, that's used in some of my others.
<Candle> that... aren't public .. [yet]
mvzink has joined #ponylang
<Candle> Unit tests for maven plugins are not the easiest to write. Mostly, I'm critical of the plexus container they use. It's a little opaque.
mvzink has quit [Ping timeout: 252 seconds]
srenatus[m] has quit [Remote host closed the connection]
M-Ingo has quit [Remote host closed the connection]
irx[m] has joined #ponylang
srenatus[m] has joined #ponylang
M-Ingo has joined #ponylang
M-hrjet has joined #ponylang
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
c355e3b has joined #ponylang
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 272 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 264 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 264 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 272 seconds]
irx[m] has quit [Ping timeout: 272 seconds]
irx[m] has joined #ponylang
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 256 seconds]
dinfuehr has quit [Ping timeout: 264 seconds]
dinfuehr has joined #ponylang
jmiven has quit [*.net *.split]
jmiven has joined #ponylang
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 256 seconds]
mvzink has joined #ponylang
mvzink has quit [Ping timeout: 265 seconds]
puzza007 has quit [*.net *.split]
ericbmerritt has quit [*.net *.split]
jtfmumm has quit [*.net *.split]
SeanTAllen has quit [*.net *.split]
darach has quit [*.net *.split]
strmpnk has quit [*.net *.split]
strmpnk has joined #ponylang
ericbmerritt has joined #ponylang
jtfmumm has joined #ponylang
darach has joined #ponylang
puzza007 has joined #ponylang
M-hrjet has quit [Ping timeout: 272 seconds]
SeanTAllen has joined #ponylang
M-hrjet has joined #ponylang
mvzink has joined #ponylang
jonrh has quit [Ping timeout: 272 seconds]
c355e3b has quit [Quit: Connection closed for inactivity]
jonrh has joined #ponylang
mvzink has quit [Ping timeout: 244 seconds]
mvzink has joined #ponylang
jemc has joined #ponylang
<malthe> Candle: ya it's because the `getaddrinfo` API takes a char*.
<jemc> malthe: I spent some time last night working on the lambda inference problem, and I'm quite close to having a general fix
<jemc> actually, knowing that your `val` -> `iso` variation on the same problem couldn't be solved with `recover` made the difference on making me think about the problem differently, in a way that was much easier to solve
<jemc> it was actually the way I was originally thinking about the problem a year or so ago before andymcn convinced me to think about it as a specific case of auto-recover ;)
<jemc> it turns out to be more useful to think about it the same way as we think about inferring number literals
<jemc> except that we can have a default "guess" (that preserves backward compatibility with the current "guess") when there is no context to infer from
amclain has joined #ponylang
Praetonus has joined #ponylang
<malthe> jemc: nice!
<Praetonus> sylvanc SeanTAllen jemc: Just to be sure, do we officially support architectures other than x86 and ARM? The readme mentions MIPS but there isn't anything about it in the compiler/runtime code
<jemc> Praetonus: I think darach was working on MIPS - not sure what progress he made or what the status of the effort is
<jemc> it would be good to get some clarification
<Praetonus> Clarifying it would be good, yes. I think I'll open an issue containing data on the current level of support for different architectures/compilers/OS/LLVM versions so that we can discuss it, maybe in a future sync call
Matthias247 has joined #ponylang
Matthias247 has quit [Read error: Connection reset by peer]
c355e3b has joined #ponylang
Candle has quit [Remote host closed the connection]
amclain has quit [*.net *.split]
Xe has quit [*.net *.split]
malthe has quit [*.net *.split]
k0nsl has quit [*.net *.split]
malthe has joined #ponylang
amclain has joined #ponylang
k0nsl has joined #ponylang
Xe` has joined #ponylang
mvzink has quit [*.net *.split]
SeanTAllen has quit [*.net *.split]
calmclam has quit [*.net *.split]
shepheb has quit [*.net *.split]
emilbayes has quit [*.net *.split]
CcxCZ has quit [*.net *.split]
mvzink has joined #ponylang
shepheb has joined #ponylang
CcxCZ has joined #ponylang
bbhoss has quit [Ping timeout: 265 seconds]
calmclam has joined #ponylang
bbhoss has joined #ponylang
SeanTAllen has joined #ponylang
emilbayes has joined #ponylang
c355e3b has quit [*.net *.split]
darach has quit [*.net *.split]
jtfmumm has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
xshuiniu has quit [*.net *.split]
prettyvanilla has quit [*.net *.split]
cquinn has quit [*.net *.split]
kushalp has quit [*.net *.split]
prettyvanilla has joined #ponylang
bbhoss has quit [Ping timeout: 258 seconds]
darach has joined #ponylang
mankyKitty has joined #ponylang
jtfmumm has joined #ponylang
kushalp has joined #ponylang
c355e3b has joined #ponylang
bbhoss has joined #ponylang
cquinn has joined #ponylang
dinfuehr has quit [*.net *.split]
irx[m] has quit [*.net *.split]
srenatus[m] has quit [*.net *.split]
mcguire has quit [*.net *.split]
bitcrusher has quit [*.net *.split]
_andre has quit [*.net *.split]
atk has quit [*.net *.split]
DarkFox has quit [*.net *.split]
jtfmumm- has quit [*.net *.split]
adamkittelson has quit [*.net *.split]
NhanH__ has quit [*.net *.split]
_andre has joined #ponylang
atk has joined #ponylang
bitcrusher has joined #ponylang
bitcrusher has quit [Read error: Connection reset by peer]
DarkFox has joined #ponylang
mcguire has joined #ponylang
DarkFox is now known as Guest54198
Xe` is now known as Xe
bbhoss has quit [Ping timeout: 258 seconds]
dinfuehr has joined #ponylang
<avsej> how one could define empty function?
NhanH__ has joined #ponylang
adamkittelson has joined #ponylang
bbhoss has joined #ponylang
kajstrom has quit [*.net *.split]
BweeZ has quit [*.net *.split]
bodie_ has quit [*.net *.split]
omarkj has quit [*.net *.split]
Corwin has quit [*.net *.split]
ohir has quit [*.net *.split]
ohir has joined #ponylang
ohir has quit [Changing host]
ohir has joined #ponylang
Corwin has joined #ponylang
kajstrom has joined #ponylang
BweeZ has joined #ponylang
<avsej> right now I'm only define docstring in the function body, without it i get syntax err
bodie_ has joined #ponylang
kushalp has quit [Ping timeout: 255 seconds]
strmpnk has quit [Write error: Connection reset by peer]
gornikm has quit [Read error: Connection reset by peer]
puzza007 has quit [Write error: Connection reset by peer]
darach has quit [Read error: Connection reset by peer]
jtfmumm has quit [Read error: Connection reset by peer]
irx[m] has joined #ponylang
mcguire has quit [Ping timeout: 242 seconds]
NhanH__ has quit [Ping timeout: 258 seconds]
emilbayes has quit [Ping timeout: 258 seconds]
bbhoss has quit [Ping timeout: 258 seconds]
puzza007 has joined #ponylang
srenatus[m] has joined #ponylang
mcguire1 has joined #ponylang
otremblay has quit [*.net *.split]
Fuuzetsu has quit [*.net *.split]
doublec has quit [*.net *.split]
so has quit [*.net *.split]
Fuuzetsu has joined #ponylang
doublec has joined #ponylang
so has joined #ponylang
<jemc> avsej: you need at least one expression for the parser to be happy with you - the traditional approach is to use `None`
omarkj has joined #ponylang
<avsej> ok. thanks
otremblay has joined #ponylang
kushalp has joined #ponylang
darach has joined #ponylang
strmpnk has joined #ponylang
NhanH__ has joined #ponylang
<avsej> is it possible to specify function to be called on a type, but so that it won't be a constructor? something like this http://dpaste.com/3P9SVW6
bbhoss has joined #ponylang
so has quit [*.net *.split]
sylvanc has quit [*.net *.split]
hakvroot has quit [*.net *.split]
dom96 has quit [*.net *.split]
unbalanced has quit [*.net *.split]
sjums has quit [*.net *.split]
so has joined #ponylang
sylvanc has joined #ponylang
sjums has joined #ponylang
unbalanced has joined #ponylang
hakvroot has joined #ponylang
c355e3b has quit [Ping timeout: 258 seconds]
dom96 has joined #ponylang
emilbayes has joined #ponylang
<jemc> avsej: at the moment, no - this is a pain point I've often encountered as well, but we've never agreed on an appropriate solution
<jemc> the workaround is to use a spare primitive
<avsej> like Subscriptions.empty()?
<jemc> although in your case, it seems you could directly replace Subscription.empty() with EmptySubscription
<jemc> avsej: yes, some people like to make the name plural for their "spare" primitive - I prefer to append `Util` personally
c355e3b has joined #ponylang
jeremyheiler has quit [Quit: Updating details, brb]
jeremyheiler has joined #ponylang
avsej_ has joined #ponylang
avsej_ has joined #ponylang
mitchellvanw_ has joined #ponylang
lisael has quit [*.net *.split]
mitchellvanw has quit [*.net *.split]
avsej has quit [*.net *.split]
avsej_ is now known as avsej
mitchellvanw_ is now known as mitchellvanw
lisael_ has joined #ponylang
omarkj has joined #ponylang
omarkj has quit [Changing host]
kushalp has quit [Changing host]
kushalp has joined #ponylang
strmpnk has joined #ponylang
darach has joined #ponylang
NhanH__ has joined #ponylang
bbhoss has joined #ponylang
strmpnk has quit [Changing host]
darach has quit [Changing host]
NhanH__ has quit [Changing host]
bbhoss has quit [Changing host]
emilbayes has joined #ponylang
emilbayes has quit [Changing host]
c355e3b has joined #ponylang
c355e3b has quit [Changing host]
jeremyheiler has quit [Changing host]
jeremyheiler has joined #ponylang
bodie_ has quit [*.net *.split]
calmclam has quit [*.net *.split]
malthe has quit [*.net *.split]
omarkj has quit [*.net *.split]
srenatus[m] has quit [*.net *.split]
irx[m] has quit [*.net *.split]
ohir has quit [*.net *.split]
Corwin has quit [*.net *.split]
dinfuehr has quit [*.net *.split]
cquinn has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
SeanTAllen has quit [*.net *.split]
CcxCZ has quit [*.net *.split]
mvzink has quit [*.net *.split]
lisael_ has quit [*.net *.split]
Fuuzetsu has quit [*.net *.split]
k0nsl has quit [*.net *.split]
sjums has quit [*.net *.split]
mcguire1 has quit [*.net *.split]
prettyvanilla has quit [*.net *.split]
shepheb has quit [*.net *.split]
_andre has quit [Quit: leaving]
jonrh has quit [Ping timeout: 256 seconds]
c355e3b has quit [Ping timeout: 250 seconds]
NhanH__ has quit [Ping timeout: 240 seconds]
emilbayes has quit [Ping timeout: 260 seconds]
lisael_ has joined #ponylang
Fuuzetsu has joined #ponylang
k0nsl has joined #ponylang
bodie_ has joined #ponylang
mankyKitty has joined #ponylang
omarkj has joined #ponylang
SeanTAllen has joined #ponylang
Corwin has joined #ponylang
irx[m] has joined #ponylang
cquinn has joined #ponylang
dinfuehr has joined #ponylang
CcxCZ has joined #ponylang
srenatus[m] has joined #ponylang
ohir has joined #ponylang
mvzink has joined #ponylang
calmclam has joined #ponylang
malthe has joined #ponylang
prettyvanilla has joined #ponylang
mcguire1 has joined #ponylang
shepheb has joined #ponylang
sjums has joined #ponylang
SeanTAllen has quit [Ping timeout: 258 seconds]
bbhoss has quit [Ping timeout: 240 seconds]
mankyKitty has quit [Ping timeout: 258 seconds]
jonrh has joined #ponylang
NhanH__ has joined #ponylang
c355e3b has joined #ponylang
emilbayes has joined #ponylang
mankyKitty has joined #ponylang
bbhoss has joined #ponylang
SeanTAllen has joined #ponylang
strmpnk has quit [Ping timeout: 250 seconds]
darach has quit [Read error: Connection reset by peer]
puzza007 has quit [Remote host closed the connection]
kushalp has quit [Read error: Connection reset by peer]
omarkj has quit [Remote host closed the connection]
puzza007 has joined #ponylang
omarkj has joined #ponylang
kushalp has joined #ponylang
darach has joined #ponylang
puzza007 has quit [Remote host closed the connection]
omarkj has quit [Remote host closed the connection]
kushalp has quit [Remote host closed the connection]
darach has quit [Remote host closed the connection]
puzza007 has joined #ponylang
omarkj has joined #ponylang
Matthias247 has joined #ponylang
kushalp has joined #ponylang
darach has joined #ponylang
strmpnk has joined #ponylang
<avsej> what does the question mark (?) means after the return type?
gornikm has joined #ponylang
<jmiven> avsej: it's the mark for partial functions: it means that the function may raise errors
<jemc> avsej: it indicates a partial function (a function that doesn't have valid output over the entire domain of input) - basically it means that the function is allowed to throw an `error`
<avsej> ah, yes. how I could forget it. I though it was related to capabilities somehow
<jemc> avsej: not an unreasonable intuition, considering that `!` and `^` are related to caps
<avsej> in fact I thought it should be related to type, but this is exception and ? related to function, not the type
darach has quit [Ping timeout: 240 seconds]
strmpnk has quit [Ping timeout: 250 seconds]
kushalp has quit [Ping timeout: 250 seconds]
gornikm has quit [Ping timeout: 260 seconds]
puzza007 has quit [Remote host closed the connection]
omarkj has quit [Remote host closed the connection]
Matthias247 has quit [Read error: Connection reset by peer]
puzza007 has joined #ponylang
omarkj has joined #ponylang
kushalp has joined #ponylang
darach has joined #ponylang
strmpnk has joined #ponylang