תורת הטיפוסים – שפות אחרות