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
mollymorphic has joined #ponylang
mollymorphic has quit [Ping timeout: 246 seconds]
erip has joined #ponylang
<erip> Hi all. Is there a way to specify a trait and a primitive with the same name?
<erip> I'm thinking something like Scala's companion object.
mahmudov has quit [Ping timeout: 240 seconds]
erip has quit [Ping timeout: 256 seconds]
mahmudov has joined #ponylang
endformationage has quit [Ping timeout: 272 seconds]
rurban has joined #ponylang
rurban has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ponylang
rurban has joined #ponylang
rurban has quit [Ping timeout: 250 seconds]
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
Foaly has joined #ponylang
<vaninwagen> Not at the moment. Also there is some more magic involved in companion objects in scala
<vaninwagen> I usually use the plural
<vaninwagen> trait Generator - primitive Generators
rurban has joined #ponylang
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
rurban has left #ponylang [#ponylang]
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
mahmudov has quit [Ping timeout: 272 seconds]
erip has joined #ponylang
<erip> Yeah, those magic things were what I was hoping to exploit. :-) heh
<erip> I'm trying to find some way to encode type classes without HKTs
erip has quit [Ping timeout: 256 seconds]
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
mahmudov has joined #ponylang
endformationage has joined #ponylang
Foaly has joined #ponylang
erip has joined #ponylang
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
<erip> It doesn't look like there's a way to use an inner class. Is this true?
<vaninwagen> That is indeed true
<erip> If I have, for example, a `primitive` embedded in a `class val`, it compiles fine.
<erip> but I can't use it
<vaninwagen> Wow, interesting
<vaninwagen> My best guess is that the class definition ends when the primitive starts
<vaninwagen> And somehow the rest of the class is then part of the primtive
<erip> I can confirm quickly
<erip> Good guess. I swapped the primitive defn with the `let t: T` and it complains about scope of T.
<vaninwagen> Yeah, thats how the compiler knows when a class definition or a function Definition ends
<vaninwagen> Sorry, you are trying stuff that doesnt work
<erip> :-)
<erip> it's more fun this way, perhaps
<vaninwagen> You learn a lot, at least
<vaninwagen> Id everything runs smoothly, it is plain boring
<vaninwagen> *if
<erip> Hopefully once things settle down, I'd love to help you all fix some issues
<erip> that's a better way to learn, I think. :P
<vaninwagen> I have a related new years resolution
<vaninwagen> Cleaning up the mess of issues that piled up
erip has quit [Ping timeout: 256 seconds]
ChristianWitts has joined #ponylang
ChristianWitts has quit [Ping timeout: 272 seconds]
Foaly has joined #ponylang
erip has joined #ponylang
erip has quit [Ping timeout: 256 seconds]
rurban has joined #ponylang
rurban has quit [Quit: Leaving.]
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
mahmudov has quit [Ping timeout: 244 seconds]
erip has joined #ponylang
<erip> There's no sugar for defining a data class, right?
mahmudov has joined #ponylang
erip has quit [Remote host closed the connection]
erip has joined #ponylang
erip has quit [Ping timeout: 245 seconds]
<SeanTAllen> what's a data class erip?