Modul ini menggunakan tipe sebagai alat rekayasa untuk mencegah bug sejak waktu kompilasi. Pembahasan mencakup smart constructor, phantom type, pengujian berbasis properti dengan QuickCheck, dan unit test dengan tasty serta HUnit. Pengujian berbasis properti menjadi keunggulan khas Haskell dalam memverifikasi program.
Rekayasa berbasis tipe
Tipe sebagai alat rekayasa: smart constructor, phantom type, QuickCheck, dan unit test.
0/0 selesai
- Merancang dengan tipe
Smart constructor dan data tervalidasi di batas sistem.
- Phantom type
Sekadar pengenalan: tipe yang memberi batasan saat kompilasi tanpa biaya.
- QuickCheck
Properti, generator, dan shrinking pada pengujian berbasis properti.
- Unit test
tasty dan HUnit untuk kasus yang terlewat oleh properti.