Я помічаю, що потрапляю в багато плутанини з математикою та фізикою, я інформатик за освітою, і для мене тип чогось – це те, на що воно має канонічний типаризм. Ізоморфний, еквівалентний, що завгодно. Чи може він зберігатися в тій же структурі в пам'яті?