re: Let the compiler do the work for you! VIEW POST

TOP OF THREAD FULL DISCUSSION
re: The problem is that Java's type system is not able to express these powerful abstractions. I've added the code for mapAccumR to the article. You ca...
 

Well, challenge accepted. I shall find a work around!
Wish me luck!

Arrow-kt implement support of higher kinded types for Kotlin (which has a similar limitation). They create a type using generic Kind<T, B> and some tools to convert it to usable Kotlin type.

Suggest you to check it out!

code of conduct - report abuse