Gradual typing
[ar] تنويع تدريجي
[ru] Последовательная типизация