Perché una "classe tipo" chiamata "tipo classe"?

Question

Quando si immerge più in profondità in Scala, si preme il termine tipo classe. Era stato confuso perché una classe è un tipo e un tipo potrebbe essere una classe in Scala e "tipo" e "classe" sono in sé termini astratti.

Dopo aver letto alcuni esempi Ho la sensazione ciò che una classe di tipo potrebbe essere, ma forse c'è un approccio più facile per ottenere un gancio mentale (foto, concetto) a quello che una classe tipo è spiegando il motivo per cui aveva stato nominato così.

Answer 1

In Haskell non ci sono classi in senso Java/Scala, quindi questo termine era libero di essere usato (nel senso di "classe di tipi", come dice Johannes Weiß).

Non è utilizzato nella documentazione ufficiale di Scala, ma le persone provenienti da Haskell hanno scoperto che potevano emulare classi di tipi Haskell in Scala e riutilizzato il nome.

Answer 2

Perché le classi (insieme) digitano "con" una serie di operazioni comuni definite dalla classe del tipo?

Mi sembra molto naturale.