The major obstacle is that the current kind system design is not easy to reconcile with higher kinds. This is mostly because the current system is poorly designed, but we need to avoid breaking existing programs.
Sam On Tue, Jan 17, 2017, 11:19 AM Robert Kuzelj <rob...@robkuz.com> wrote: > Am Dienstag, 17. Januar 2017 10:34:54 UTC+1 schrieb Sam Tobin-Hochstadt: > > No, unfortunately you can't just higher kinds in Typed Racket. This is > a limitation we hope to lift eventually, though. > > Hi Sam, > > Thanks for the fast answer. > Is there any specific obstacles that are in the way of implementing it? > Assuming that HKT are generally well understood (so it seems to me). > > Best regards > > Robert > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
