Modul ini membahas sistem tipe Julia sebagai mesin di balik multiple dispatch, mulai dari hierarki tipe, struct, tipe parametrik, hingga aturan koersi convert dan promote. Pemahaman yang dibangun di modul ini menentukan kecepatan kode pada modul performa karena dispatch dan performa berbagi mekanisme yang sama.
Tipe dan Multiple Dispatch
Sistem tipe sebagai mesin di balik multiple dispatch, mulai dari hierarki, struct, hingga koersi antartipe.
0/0 selesai
- Hierarki Tipe
Relasi tipe abstrak dan tipe konkret di bawah Any beserta fungsi pemeriksaan subtype dan supertype.
- Struct
Mendefinisikan struct yang tidak dapat diubah dan mutable struct yang dapat diubah, beserta tipe field-nya.
- Multiple Dispatch
Memilih metode berdasarkan tipe seluruh argumen sehingga perilaku fungsi terdefinisi per kombinasi tipe.
- Tipe Parametrik
Menuliskan parameter tipe pada struct dan signature fungsi agar satu definisi melayani banyak kombinasi tipe.
- convert dan promote
Aturan koersi convert dan promote yang membuat aritmetika campuran antartipe bilangan bekerja.