If you're aching for typespecs in Elixir being useful, but are dissapointed with Dialyzer, I recommend checking out my library Hammox: https://github.com/msz/hammox. It's an improved version of Mox, the de-facto mocking library for Elixir, which you can use to automatically assert in tests that your mock calls, or any function calls, fit your typespecs.
I personally found that with rigorous enough usage, I don't even miss having actual static typing anymore ;)
China and India have an extremely small infection percentage - all the areas below 0.001% are filtered out. You're right, that's likely very misleading - I'll leave them in for completeness.
All the informational dashboards I've seen so far have two main problems for me:
1) they show total cases including recoveries and deaths by default, bumping up countries like China
2) they sort by total cases which pushes high population countries high
The info I'm looking for is generally "how bad is it everywhere, right now". So I spent a couple evenings to hook into the Bing dashboard and create this minimalist breakdown off of it. Comments welcome!
I personally found that with rigorous enough usage, I don't even miss having actual static typing anymore ;)