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
jmiven has quit [Quit: co'o]
jmiven has joined #ponylang
_whitelogger has joined #ponylang
acarrico has quit [Ping timeout: 246 seconds]
_whitelogger has joined #ponylang
endformationage has quit [Quit: WeeChat 2.3]
ExtraCrispy has quit [Remote host closed the connection]
ExtraCrispy has joined #ponylang
erip has joined #ponylang
<erip> Hey folks. For people involved in the decision of RFCs: what does the decision-making process look like when considering working an RFC?
<erip> I am creating a library for algebraic structures using pony (https://github.com/erip/pedigree/tree/feature/add-initial-structures), but without higher-kinded polymorphism, it's kind of tough. :-)
<vaninwagen> erip do you mean how we decide what should be an RFC or on what basis we do accept/reject rfcs?
<erip> The latter
<vaninwagen> I cannot pinpoint exact criteria tbh.
<vaninwagen> I am gonna make sure it is discussed today in the pony sync
<vaninwagen> From my point of view HKTs make very much sense. The problem that is left to me is what would be the best way to implement them
<vaninwagen> It might be there are some showstoppers in the way or it is actually way more complex than expected
<erip> I'm sure it's quite hard to implement, unfortunately. This is likely why so few static languages support them.
<erip> To wit, I think I can name three?
acarrico has joined #ponylang
erip has quit [Quit: Page closed]
_andre has joined #ponylang
endformationage has joined #ponylang
nisanharamati has joined #ponylang
travis-ci has joined #ponylang
<travis-ci> ponylang/ponyc#5466 (master - 1437c32 : [Main]): The build has errored.
travis-ci has left #ponylang [#ponylang]
ExtraCrispy has quit [Remote host closed the connection]
ExtraCrispy has joined #ponylang
brainproxy has quit [Read error: Connection reset by peer]
brainproxy has joined #ponylang
ExtraCrispy has quit [Remote host closed the connection]
ExtraCrispy has joined #ponylang