<Hierophantos>
Semantic Models for Distributed Object Reflection
endformationage has joined #ponylang
graaff has joined #ponylang
gmcabrita has quit [Quit: Connection closed for inactivity]
vaninwagen has quit [Ping timeout: 260 seconds]
jemc has joined #ponylang
amclain has joined #ponylang
gmcabrita has joined #ponylang
jemc has quit [Ping timeout: 268 seconds]
jemc has joined #ponylang
Hierophantos has quit [Read error: Connection reset by peer]
Matthias247 has joined #ponylang
vaninwagen has joined #ponylang
aav has quit []
papey_lap has quit [Ping timeout: 260 seconds]
jemc has quit [Read error: Connection reset by peer]
<vaninwagen>
hi! could someone help me with a tiny type related problem? it is here: https://is.gd/EyN0ZL
<vaninwagen>
i have a method with some type parameter, a union type. i iterate over an array of possible instances of this union and want to call this method with the type of its argument as the type parameter
<vaninwagen>
is this possible?
<vaninwagen>
or should i approach this problem differently?
<SeanTAllen>
im not sure what you are trying to do.
<SeanTAllen>
i believe what you want to do is match on the type of `v` and call the correct doer
jemc has joined #ponylang
<SeanTAllen>
there's no way for the compiler based on your types to know how to call line 26
<SeanTAllen>
are you trying to do some sort of dynamic dispatch vaninwagen?
<vaninwagen>
yeah, kinda
<vaninwagen>
SeanTAllen yes i want to match on type of v and call the correct doer which is also parameterized by type of v
<vaninwagen>
i did it this way (in this simplified example) because i was doing some stuff in between finding the right Doer and doStuff with it, that i didn't want to repeat. but yeah, once i have the right Doer he can do specialized stuff
<vaninwagen>
sry, i am kinda still stuck with how java generics work
<SeanTAllen>
we all are always learning vaninwagen. no worries.
<vaninwagen>
another thing: https://github.com/ponylang/ponyc/pull/1840 will this somehow lead to having a tool for property based testing of pony code? :))))) or is this at the compiler level?
<vaninwagen>
SeanTAllen found a solution that works for me: https://is.gd/Gj1htF thanks for the hint :)
_andre has quit [Quit: leaving]
aav has joined #ponylang
<vaninwagen>
sorry to bother you again: i am getting a core dump here https://is.gd/y3U4mA
vaninwagen has quit [Ping timeout: 240 seconds]
aav has quit []
Matthias247 has quit [Read error: Connection reset by peer]
<SeanTAllen>
vaninwagen: in case you read the logs. i opened an issue for your compiler error.