معماری سیستم‌های مبتنی بر تایپ (Type-Safe Programming)