Hacker News new | ask | show | jobs
by gchpaco 2520 days ago
And said notation causes the generic type system to be Turing complete, as in the Java case.