Why tokio named same as the capital of Japan?

[shaojintian]

Only a coincidence?

[Darksonn]

I don't know where Tokio's name comes from, but just to be clear, the capital of Japan is named Tokyo — not Tokio.

[shaojintian]

Thanks, it's my fault.

[hawkw]

I believe that the name originated as a pun on "Token IO", after the mio::Token type, since Tokio began its life as a layer of abstraction over mio.

[shaojintian]

I agree with you!