Modul ini membahas penanganan error di F# dengan menghadirkan kegagalan sebagai nilai biasa. Tipe Option menyatakan nilai yang mungkin absen, tipe Result membawa keberhasilan beserta alasannya, dan komposisi railway-oriented merangkai langkah-langkah rawan gagal menjadi satu pipeline. Bagian penutup menetapkan batas yang jujur antara kegagalan domain dan exception .NET yang memang masih tepat digunakan. Materi ini memanfaatkan fondasi discriminated union dan pattern matching dari modul sebelumnya.
Error sebagai nilai
Penanganan error tanpa lemparan: tipe Option, tipe Result, komposisi railway-oriented, dan posisi exception yang jujur.
0/0 selesai
- Tipe Option
Ketidakhadiran nilai yang dinyatakan eksplisit dalam tipe, akhir dari ketakutan akan null.
- Tipe Result
Keberhasilan atau kegagalan yang dibawa sebagai data biasa alih-alih lemparan exception.
- Komposisi railway-oriented
Mengikat langkah-langkah rawan gagal menjadi satu pipeline dengan bind dan map.
- Exception secara jujur
Situasi ketika exception .NET masih sah diterapkan dan cara menanganinya dengan try-with.