< Marcin> This is incorrect gt The Box is a class while Box lt Int gt Box lt A gt Box lt List lt String gt gt are types generated by generic class Box `Box` is not a class it s a type constructor `Box lt Int gt ` 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

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.

🧵 1

voddan

11/09/2017, 7:46 AM

@cedric are you sure that

Box<Int>

is a class? In C++ I would totally agree with you (

Box<T>

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

Box

must be a class, and

Box<Int>

is a compile-time type on top of that class

☝️ 3

marcinmoskala

11/09/2017, 9:01 AM

https://docs.oracle.com/javase/tutorial/java/generics/types.html

It is coincidence that there is also

Box

Box

to generic class, and

Box<Integer>

is generic type.

I don't know how it is defined in C++. Terms and definitions comes from category theory, but there are some different nomenclatures in different languages. For JVM I am quite sure that it is correct while it is hard to argue with Java docs.

voddan

11/09/2017, 4:07 PM

it is correct

Which point of view do you support?

marcinmoskala

11/10/2017, 6:44 AM

@voddan I meant my article, but I think that your answer is also correct

👌 1