Низкоуровневый язык программирования с опциональной типизациейтезисы доклада