atk has quit [Quit: Well this is unexpected.]
atk has joined #ponylang
dipin has joined #ponylang
dipin has quit [Quit: dipin]
clint_ has joined #ponylang
clint_ has left #ponylang [#ponylang]
_clint has joined #ponylang
endformationage has joined #ponylang
jemc has quit [Quit: WeeChat 1.9]
bimawa1 has joined #ponylang
07IABF0ZZ has quit [Ping timeout: 248 seconds]
_whitelogger has joined #ponylang
_whitelogger has joined #ponylang
dipin has joined #ponylang
endformationage has quit [Ping timeout: 255 seconds]
voldyman has quit [Ping timeout: 255 seconds]
masteinhauser has quit [Ping timeout: 255 seconds]
mrallen1 has quit [Ping timeout: 255 seconds]
cquinn has quit [Ping timeout: 255 seconds]
ericbmerritt_ has quit [Ping timeout: 255 seconds]
pcarrier has quit [Ping timeout: 255 seconds]
gornikm has quit [Ping timeout: 264 seconds]
jonrh has quit [Ping timeout: 246 seconds]
cquinn has joined #ponylang
pcarrier has joined #ponylang
mrallen1 has joined #ponylang
voldyman has joined #ponylang
Bombe has quit [Ping timeout: 240 seconds]
Bombe has joined #ponylang
dipin has quit [Quit: dipin]
tscho- has quit [Read error: Connection reset by peer]
tscho has joined #ponylang
samuell has joined #ponylang
vaninwagen has joined #ponylang
samuell has quit [Remote host closed the connection]
samuell has joined #ponylang
jonrh has joined #ponylang
masteinhauser has joined #ponylang
sarna has quit [Quit: Connection closed for inactivity]
ShalokShalom_ has joined #ponylang
ShalokShalom has quit [Ping timeout: 240 seconds]
vaninwagen has quit [Ping timeout: 258 seconds]
dipin has joined #ponylang
vaninwagen has joined #ponylang
jmiven has quit [Quit: co'o]
jmiven has joined #ponylang
dipin has quit [Quit: dipin]
jemc has joined #ponylang
aturley has quit [Quit: aturley]
vaninwagen has quit [Ping timeout: 240 seconds]
vaninwagen has joined #ponylang
Praetonus has joined #ponylang
vaninwagen has quit [Ping timeout: 240 seconds]
abeaumont has quit [Ping timeout: 248 seconds]
kulibali has joined #ponylang
ShalokShalom_ is now known as ShalokShalom
endformationage has joined #ponylang
abeaumont has joined #ponylang
vaninwagen has joined #ponylang
aturley has joined #ponylang
mikeyhew has joined #ponylang
<
mikeyhew>
is there a This type or a Self type in Pony that I can use in traits?
<
Praetonus>
mikeyhew: No. The usual way is to use F-bounded polymorphism
<
Praetonus>
For example, you can declare your trait as `MyTrait[A]` and your implementation as `MyClass is MyTrait[MyClass]`
<
Praetonus>
Then you can use `A` to emulate a Self type in the methods of `MyTrait`
<
mikeyhew>
Praetonus: I see. Thanks
<
mikeyhew>
Do you know why it thinks the return value of `to_t()` is `T #any ` and not `T ref`?
<
Praetonus>
An unconstrained type parameter is implicitly constrained to `Any #any`
<
Praetonus>
You'll need an explicit `Any ref` constraint here
<
Praetonus>
Also you can't specify a capability on a type parameter
<
mikeyhew>
BTW, every time I see the word pony-stable, I think there's a new, stable version of Pony 😅
dipin has joined #ponylang
vaninwagen has quit [Ping timeout: 248 seconds]
samuell has quit [Quit: Leaving]
jemc has quit [Ping timeout: 258 seconds]
jemc has joined #ponylang
jemc has quit [Ping timeout: 248 seconds]
dipin has quit [Quit: dipin]