has there been any decent HKT proposal yet?
# language-proposalsa
Andreas Sinz
10/28/2017, 11:57 AMhas there been any decent HKT proposal yet?
k
karelpeeters
10/28/2017, 12:06 PMI have a feeling @raulraja might know that 🙂.
a
Andreas Sinz
10/28/2017, 12:07 PMHe proposed typeclasses and a single chapter on HKT as an optional feature 😄
k
karelpeeters
10/28/2017, 12:07 PMAh right: https://github.com/Kotlin/KEEP/pull/87
a
Andreas Sinz
10/28/2017, 12:08 PMthats the reason I was wondering if there was a lengthy proposal on HKT yet 😄
r
raulraja
10/28/2017, 6:09 PM@Andreas Sinz not that I'm aware of. Many interesting typeclasses are not that useful unless HKTs are supported. But HKTs would be also extremely helpful in OOP contexts for code reuse etc. KEEPs seem more recommendations than a part of a process for what I can tell. I have no visibility as to what Jetbrains thinks of KEEP-87 and not even sure what next steps are to get that rolling. In whatever case I'd be happy to help on a HKTs lengthier proposal or expand on KEEP-87 to get it all in at once since they are a tightly coupled feature.
8 Views