Функционально смысловые типы языка