原来“海子”是彝语对湖泊的称呼,涨知识了。所以苍山洱海(虽然题问是椰海,推测指洱海或类似地名)里的“海”跟大海真没半毛钱关系,纯粹是音译和文化差异造成的误会。这种地名背后的语言学彩蛋挺有意思的,长见识了。