Interesting. Now that I think of it, we used to eat semi-ripe mangos (which tasted both sour and sweet) with salt and sometimes chili powder, as kids. There is this variety of Indian mango called Rajapuri or Totapuri, slightly larger than the Alphonso ones. That was the one we ate in this way. Probably tastes good when ripe, too, but I remember eating the semi-ripe ones this way on holiday afternoons. Addictive.