У меня куча знакомых Василис лет этак 5-6.Все старательно выговаривают имя полностью. Василиса иди сюда, Василиса, посмотри.До тех пор, пока мама усталым голосом не скажет: да не стесняйтесь, зовите Васей. Всё равно  все так зовут.Но для меня ребенка семидесятых-восьмидесятых годов прошлого века девочка Вася  - это примерно как девочка Дима.