alf
Всё, что вы хотели знать о higher-order functors in Scala: "Not sure what are your goals, but this typechecks" — http://stackoverflow.com/questions/23577437/higher-order-func...
I added the Z parameter because I wanted to avoid existentials. Это завело меня в тупик, и я начал пить. ‎- псы в рапиде
"Higher kinded types in Scala lead to a Turing-complete type system, where compiler termination is no longer guaranteed." ‎- alf
Oh, you can't help that: we're all mad here. I'm mad. You're mad. ‎- alf
Ооооо, скользкая дорожка плагинов к компилятору! https://github.com/non/kind-projector ‎- alf
(Вроде против этого в хаскеле есть Rank2Types, у которых с завершимостью проще) ‎- 9000