Опциональная типизация для минималистичных языков программированиятезисы доклада