does Typed/Racket support higher kinded types? I couldn't find any infos on the docs in regards to that.
Thx
Best regards
Robert
No, unfortunately you can't just higher kinds in Typed Racket. This is a limitation we hope to lift eventually, though.
Sam
--
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...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
hmm, that doesn't sound as there will be any changes to that any time soon. <sigh>
maybe (if there is no other way) not at all and there would a breaking of compatibility?!
And btw. yeah something will emerge ... or rather has already emerged
https://github.com/LuxLang/lux
https://luxlang.gitbooks.io/the-lux-programming-language/content/
Nevertheless I think Racket having somehow the bigger organisation/resources could be leading here