任何人都可以激发为什么 Arrow (Kotlin) 选择弃用更高级的类型？

Question

深入研究Arrow的代码库，我发现这个弃用警告高于更高级的类型。

Higher Kinded types and their related type classes will no longer be supported after Arrow 0.13.0. Most relevant APIs are now concrete over the data types available as members or top level extension functions

任何人都可以激发这种选择和提议的替代方案吗？或者向我指出有关此主题的一些相关文档？

先感谢您

Answer 1

Raul Raja 在 Kotlin-slack 的 Arrow-channel 上写道：

对于那些想知道 Arrow 中更高级种类的未来的人：种类正在消失，因为它们的编码迫使用户调用 .fix() 并且没有编译器插件就没有解决方法。一旦编译器插件在 1.5 之后得到正确支持，那么我们将重新审视种类，但不是提供所有这些样板，我们将提供比现在更深入、更好的集成。Arrow Meta 已经有了这种支持，但在 Kotlin IDEA 插件支持编译器插件之前，它不能分发给用户。届时将重新审视种类。由于 Arrow 目前正在接近 1.0 的最终编码，我们无法发布一个 1.0，其中整个库和大部分用户代码都依赖于当前形式的 Kinds，并承诺长期维护它。