O funcţie care este folosit pentru a converti instanţe a unui tip de sursă de date în cazuri de un alt tip de date ţintă. În general, o funcţie a aruncat numele tipului de date-ţintă şi are un singur argument al cărui tip este sursa de tipul de date. Tipul său întoarcere este tinta tipul de date. A se vedea, de asemenea, încorporată în funcţie.