Sebuah fungsi yang digunakan untuk mengkonversi contoh dari tipe sumber data ke contoh dari sebuah tipe data target yang berbeda. Secara umum, fungsi pemain memiliki nama tipe data target dan memiliki satu argumen tunggal yang jenis tipe data sumber. Kembali jenis adalah target tipe data. Lihat juga built-in fungsi.