What I meant is it would be impractical to pick one special topic of CS to study just because it happens to be a mode of the day. It's like deciding to study n

What I meant is it would be impractical to pick one special topic of CS to study just because it happens to be a mode of the day. It's like deciding to study number theory ("because, you know, cryptography!") in isolation instead of following a sensible math curriculum ("I'm not particularly interested in math") and learning the discipline as it was meant to be learned. In short, I can't think of a "type system specialist" who is not a computer scientist. It sounds sort of like a "loop specialist" who can't program, or a "forehand specialist" who can't play tennis.