cedric11/09/2017, 6:46 AM
The Box is a class, while Box<Int>, Box<A>, Box<List<String>> are types generated by generic class Box
is not a class, it's a type constructor.
is a class. Also, types are usually the global name used to denote a structure, e.g. an interface, a class, a trait, etc... I feel you made up your own meaning for these terms in the sentence i quoted.
voddan11/09/2017, 7:46 AM
is a class? In C++ I would totally agree with you (
is a template there), but on JVM a class is something that has a class object (that thing that contains static fields and the method table), so
must be a class, and
is a compile-time type on top of that class
to generic class, and
is generic type.
voddan11/09/2017, 4:07 PM
it is correctWhich point of view do you support?
marcinmoskala11/10/2017, 6:44 AM