It is more or less historical: they used to be different a long time ago, which has no practical implications anymore.
Edit: I use "class
" when referring to concrete implementations and "type
" in a more informal way, when speaking about high level data structures, application arcitecture etc. In my thinking a type is a more general thing, I don't think of every class as a distinct type.
Also, when I use metaclasses (very rarely) I speak of types.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…