Channels
#arrow-contributors
- p
pakoito
07/22/2018, 12:11 PMoh wait yeah it does - p
pakoito
07/22/2018, 12:11 PMhmmmmmm - e
Eugenio
07/22/2018, 12:11 PM😏 - e
Eugenio
07/22/2018, 12:13 PMthis way, given any kind, one can always reliably traverse the hierarchy, arrive at the kind "id", and from there there's a direct link to the type - p
pakoito
07/22/2018, 12:14 PMwould this work:
?open class KindId<T: Kind<*, *>>() : KindOrId() - e
Eugenio
07/22/2018, 12:14 PMyes, but then you'd be able to create an instance of it - e
Eugenio
07/22/2018, 12:14 PMwhich you don't want - e
Eugenio
07/22/2018, 12:15 PMor, wait - e
Eugenio
07/22/2018, 12:15 PMsorry you mean putting the kind type in the ID - e
Eugenio
07/22/2018, 12:15 PMno, that doesn't work 😞 - p
pakoito
07/22/2018, 12:17 PMokay - p
pakoito
07/22/2018, 12:17 PMso what we want is something that - p
pakoito
07/22/2018, 12:17 PMties the For- back to the class, and is available at runtime - p
pakoito
07/22/2018, 12:17 PMright? - e
Eugenio
07/22/2018, 12:18 PMeven just at compile time - e
Eugenio
07/22/2018, 12:18 PMbut possibly in a way that is safe-ish - p
pakoito
07/22/2018, 12:19 PM… - p
pakoito
07/22/2018, 12:19 PMwhere did the snipet go? - p
pakoito
07/22/2018, 12:27 PMthere’re no recursive types in Kotlin, I wish I could use Self in that line 1 😛 - e
Eugenio
07/22/2018, 12:40 PMtell me about it 🙄 - e
Eugenio
07/22/2018, 12:41 PMso
would the "kind id"?Witness - e
Eugenio
07/22/2018, 12:41 PMyou'd like that to be typed according to the real type, but expressed asKind - e
Eugenio
07/22/2018, 12:42 PMcorrect? - p
pakoito
07/22/2018, 12:43 PMwell it wouldn’t work because of arity, so nevermind - e
Eugenio
07/22/2018, 12:43 PMbut how is that different from what I posted before? - p
pakoito
07/22/2018, 12:43 PMwe’d need what you need with the sealed class - p
pakoito
07/22/2018, 12:43 PMjust simpler - e
Eugenio
07/22/2018, 12:43 PMso, we can avoid the sealed class - e
Eugenio
07/22/2018, 12:43 PMthe only thing is that then you can literally use anything in theKind