|
|
|
|
|
|
by sagacity
340 days ago
|
|
|
This is completely true. "Regular" Rust and C++ is fairly readable, but a quick Google for "Higher Kinded Types in Rust" ends up with [0]: fn ap<A, B, F: Fn(&A) -> B>(x: &<Self as Plug<F>>::R, arg: &<Self as Plug<A>>::R) -> <Self as Plug<B>>::R
where Self: Plug<A> + Plug<B> + Plug<F>;
[0] https://hugopeters.me/posts/14/ |
|
|