4 ms·

What's hkt?

• thijsvandien 10y ago
  Higher-Kinded Types "With higher-kinded types [...] type operators can be parameterized by other type operators. Java doesn’t support higher-kinded types, but, if it did, you would be able to write something like this:" class GraphSearch<T> { T<Node> frontier; } Source: https://www.stephanboyer.com/post/115/higher-rank-and-higher-kinded-types https://www.stephanboyer.com/post/115/higher-rank-and-higher...