أرسل هذا في رسالة قصيرة: Typed Contracts for Functional Programming