Re:What's New in F# 4.1? [video]
by KurtMueller on Friday December 09, 2016 @04:25PM
(#13141989)
What's hkt?
[ Parent
| on HN ]
Re:What's New in F# 4.1? [video]
by thijsvandien on Friday December 09, 2016 @04:30PM
(#13142012)
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...