Modul ini menyelami sistem tipe Scala 3 yang menjadi dasar perancangan program yang andal. Topiknya mencakup parameter tipe dan varians, type class dengan given dan using, metode ekstensi, tipe union dan intersection, serta tipe opaque yang menyembunyikan representasi tanpa biaya runtime. Setiap mekanisme didemonstrasikan bersama pesan error compiler yang muncul ketika aturannya dilanggar.
Sistem tipe secara mendalam
Modul sistem tipe Scala 3: parameter tipe dan varians, type class dengan given dan using, metode ekstensi, tipe union, dan tipe opaque.
0/0 selesai
- Parameter tipe dan varians
Generik dengan anotasi kovarians dan kontravarians beserta aturan posisinya.
- Type class dengan given dan using
Parameter konteks Scala 3 sebagai mekanisme type class tanpa kebisingan implicit.
- Metode ekstensi
Menambahkan metode pada tipe milik pihak lain tanpa mewarisi kelasnya.
- Tipe union dan tipe intersection
Menyusun tipe baru dengan kombinasi or dan and secara langsung.
- Tipe opaque dan alias
Pembungkus tanpa biaya runtime yang menyembunyikan representasi di dalam lingkup modulnya.