أرسل هذا في رسالة قصيرة: Types and programming languages.