Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
srenatus has quit [Quit: Connection closed for inactivity]
Foaly has joined #ponylang
<SeanTAllen>
vaninwagen: im going to disagree a but with your assessment there. the iterator protocols doesnt demand that has_next is called before next but range does.
<SeanTAllen>
That_Guy_Anon: what is the error that you get. you shouldn't ever need to set --linker.
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
erip has quit [Remote host closed the connection]
EEVV has joined #ponylang
<EEVV>
hi, I'm trying to make a list of all of my TCPConnectionNotify in TCPListenNotify but I don't know how to do it
EEVV has quit [Quit: Page closed]
<vaninwagen>
SeanTAllen: we had a discussion about how iterators should behave, what you can expect from them, i think while working on itertools 2017. The main output was the improved iterator docs: https://stdlib.ponylang.io/builtin-Iterator/
<vaninwagen>
Saying that next() is undefined after has_next() returns false means, if you implement an iterator, you do not have to care what next() returns in that case, because users cannot and should not expect anything from such a call
<vaninwagen>
Happy new year! Thx erip!
<vaninwagen>
EEVV maybe it works passing a reference to the ListenNotify to the newly created TCPConnectionNotify and use that one inside the connectionNotify, so it can add itself
<erip>
My guess is that the answer boils down to "no support for HKTs"
<erip>
It's clear to me that without HKTs, this formulation isn't entirely practical, but that's a different story. :-)
erip has quit [Remote host closed the connection]
<vaninwagen>
erip yeah, your Functors map, takes an F as last argument and returns an F. So these types need to be the same. While in OptionApplicative, the second argument is an Option[A] and the return type is an Option[B] which is not the same type :/
srenatus has quit [Quit: Connection closed for inactivity]
nisanharamati has quit []
erip has joined #ponylang
<erip>
@vaninwagen yep, that jazzes with me
Foaly has joined #ponylang
endformationage has joined #ponylang
<erip>
I guess I'll need to dig into ponyc and see if I can strawman some HKT support. :-)
<erip>
I think most of the work will be in `typeparam.{c,h}`
<erip>
Is there a special channel for contributors? I am playing with some of the code and I have some questions, but I'm not sure here is the best place to ask.
<erip>
Maybe slack, gitter, or something? Or perhaps even a different IRC channel
<erip>
slack/gitter have better in-line code support. :-)
<erip>
I've created a ponylang slack... I'm happy to transition it if the official team wants it.
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]