2
Prawidłowa terminologia w teorii typów: typy, konstruktory typów, rodzaje / rodzaje i wartości
W odpowiedzi na poprzednie pytanie rozpoczęła się krótka debata na temat poprawnej terminologii dla niektórych konstruktów. Ponieważ nie znalazłem pytania (innego niż to lub tamto , co nie jest całkiem właściwe), aby odpowiedzieć na to jasno, tworzę to nowe. Wątpliwe terminy i ich relacje to: typ, konstruktor typu, parametr typu, …