Pemodelan Domain Fungsian dengan Jenis Teras Arrow
Modelkan domain kompleks menggunakan Either, NonEmptyList dan pengumpulan ralat yang disahkan.
Pemodelan Domain Fungsian dengan Jenis Teras Arrow ialah pelajaran Kotlin Academy percuma di CoddyKit. Ini ialah pelajaran 4 daripada 4. Sebanyak 3 pelajaran dalam laluan pembelajaran ini boleh dibaca sepenuhnya secara percuma — selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan praktikal dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Pelajaran ini merupakan sebahagian daripada laluan pembelajaran Kotlin Academy, dan kemajuan anda disegerakkan merentas web serta aplikasi CoddyKit. Kursus Kotlin Academy merangkumi sejumlah 4 pelajaran.
Apakah Pemodelan Domain Fungsian
Pemodelan domain fungsian menggunakan jenis algebra (Either, Option, kelas bersegel) untuk mengekodkan peraturan perniagaan ke dalam jenis. Keadaan tidak sah menjadi mustahil untuk diwakili pada masa kompilasi, manakala ralat dinyatakan dengan jelas dalam tandatangan fungsi — tanpa pengecualian tersembunyi.
Objek Nilai dengan Kelas Sebaris/Nilai
Gunakan kelas nilai Kotlin untuk membalut primitif dan mengelakkan kebergantungan berlebihan pada primitif. Sistem jenis akan menolak penghantaran UserId apabila PostId diperlukan:
@JvmInline value class UserId(val value: Long)
@JvmInline value class PostId(val value: Long)
fun findUser(id: UserId): Either<UserError, User> = TODO()
// findUser(PostId(1L)) // Compile error!Kelas Bersegel untuk Ralat Domain
Modelkan ralat sebagai hierarki kelas bersegel. Setiap subkelas hanya membawa data yang berkaitan dengan kes ralat tersebut:
sealed class UserError {
data class NotFound(val id: UserId) : UserError()
data class EmailTaken(val email: String) : UserError()
data class ValidationFailed(val field: String, val reason: String) : UserError()
}Validated: Mengumpulkan Pelbagai Ralat
Apabila anda ingin melaporkan semua ralat pengesahan serentak, bukan hanya ralat pertama, gunakan Validated Arrow (atau zipOrAccumulate dalam DSL Raise). Ralat akan dikumpulkan ke dalam NonEmptyList:
import arrow.core.Validated
import arrow.core.valid
import arrow.core.invalid
fun validateName(name: String): Validated<String, String> =
if (name.isNotBlank()) name.valid() else "Name is blank".invalid()Menggabungkan Pengesahan
Gunakan zip() untuk menggabungkan beberapa hasil Validated. Jika mana-mana hasil ialah Invalid, semua ralat akan dikumpulkan:
val result: Validated<NonEmptyList<String>, User> =
validateName(name).zip(validateEmail(email)) { n, e -> User(n, e) }
.mapLeft { it }Menjadikan Keadaan Tidak Sah Mustahil Diwakili
Daripada menggunakan User dengan email yang boleh bernilai null dan penanda isVerified, gunakan subkelas bersegel supaya sistem jenis menghalang anda daripada mengakses e-mel pengguna yang belum disahkan:
sealed class User {
data class Unverified(val id: UserId, val pendingEmail: String) : User()
data class Verified(val id: UserId, val email: String) : User()
}Pembina Pintar
Gunakan fungsi kilang objek pendamping yang memulangkan Either atau Option sebagai ganti pembina awam. Ini memastikan tika sentiasa berada dalam keadaan yang sah:
class Email private constructor(val value: String) {
companion object {
fun of(raw: String): Either<String, Email> =
if (raw.contains("@") && raw.length <= 255) Email(raw).right()
else "Invalid email format".left()
}
}Menggabungkan Either dan Option dalam Alur
Operasi domain sebenar biasanya merangkaikan carian repositori (Option) dengan pengesahan (Either). Gunakan blok either { } Arrow bersama .bind() untuk menggabungkannya dengan lancar:
fun createPost(authorId: UserId, title: String, body: String): Either<PostError, Post> = either {
val author = userRepo.findById(authorId).toEither { PostError.AuthorNotFound }.bind()
val validTitle = validateTitle(title).bind()
postRepo.save(Post(author, validTitle, body))
}Ketidakbolehubahan dan copy
Entiti domain hendaklah tidak boleh diubah. Gunakan kelas data dan copy() untuk menghasilkan keadaan baharu. Lens Arrow (daripada arrow-optics) membolehkan kemas kini bersarang yang mudah tanpa pengubahan:
val updated = user.copy(email = "new@example.com")
// Arrow Optics:
val emailLens = User.email
val updatedWithLens = emailLens.set(user, "new@example.com")Konfigurasi Selamat Jenis dengan Kelas Bersegel
Modelkan varian konfigurasi aplikasi dengan kelas bersegel supaya pengkompil memaksa anda mengendalikan setiap kes:
sealed class DbConfig {
data class Postgres(val url: String, val user: String, val pass: String) : DbConfig()
data class InMemory(val dbName: String = "test") : DbConfig()
}Manfaat Sekilas Pandang
Pemodelan domain fungsian dengan jenis teras Arrow memberikan:
- Tiada pengecualian penuding null dalam kod domain
- Ralat yang kelihatan dalam tandatangan fungsi
- Pemeriksaan
whenmenyeluruh pada hierarki bersegel - Fungsi tulen yang boleh diuji
- Kod yang mendokumentasikan dirinya sendiri
Semakan Pantas
Apakah manfaat utama menggunakan hierarki sealed class untuk ralat domain berbanding melontarkan pengecualian?
Rumusan: Pemodelan Domain Fungsian dengan Jenis Teras Arrow
Kesimpulan utama:
- Kelas nilai mengelakkan kebergantungan berlebihan pada primitif
- Hierarki ralat bersegel menjadikan kes kegagalan menyeluruh dan selamat dari segi jenis
- Pembina pintar menjamin tika yang sah
either { }.bind()menggabungkan operasi yang boleh gagal dengan kemas- Data tidak boleh ubah +
copy()/ Arrow Optics untuk peralihan keadaan yang selamat
Pelajari Kotlin dengan tutor kecerdasan buatan — percuma
Tulis dan jalankan kod sebenar dalam pelayar anda, dapatkan bantuan segera daripada tutor kecerdasan buatan yang tersedia 24/7, dan sambung semula dari tempat anda berhenti di web atau dalam aplikasi.
- Kursus
- 51
- Pelajaran
- 203
Soalan Lazim
Adakah pelajaran “Pemodelan Domain Fungsian dengan Jenis Teras Arrow” percuma?
Ya — sebanyak 3 pelajaran dalam laluan pembelajaran Kotlin Academy, termasuk “Pemodelan Domain Fungsian dengan Jenis Teras Arrow”, boleh dibaca sepenuhnya secara percuma di web ini. Selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan interaktif dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Kursus Kotlin Academy merangkumi sejumlah 4 pelajaran.
Apakah yang akan saya pelajari dalam “Pemodelan Domain Fungsian dengan Jenis Teras Arrow”?
Modelkan domain kompleks menggunakan Either, NonEmptyList dan pengumpulan ralat yang disahkan. Anda berlatih Kotlin Academy menggunakan kod praktikal yang dijalankan terus dalam pelayar, manakala tutor kecerdasan buatan 24/7 menjawab soalan anda semasa anda mengikuti pelajaran.
Adakah saya memerlukan pengalaman untuk memulakan Kotlin Academy?
Tiada pengalaman terdahulu diperlukan. Pembelajaran Kotlin Academy di CoddyKit disusun untuk pelajar daripada peringkat pemula hingga lanjutan, jadi anda boleh bermula di sini atau dari awal dan belajar mengikut kadar anda sendiri. Ini ialah pelajaran 4 daripada 4.
Berapa lamakah pelajaran “Pemodelan Domain Fungsian dengan Jenis Teras Arrow” diambil?
Kebanyakan pelajaran CoddyKit mengambil masa kira-kira 5–10 minit. Setiap pelajaran ringkas dan interaktif, jadi anda boleh membuat kemajuan secara berterusan dan menyambung tepat dari tempat anda berhenti di web atau aplikasi.
Bolehkah saya menulis dan menjalankan kod dalam pelajaran Kotlin Academy ini?
Ya. Setiap pelajaran Kotlin Academy menyertakan penyunting kod terbina dalam, jadi anda boleh menulis dan menjalankan kod sebenar terus dalam pelayar serta menerima maklum balas kecerdasan buatan serta-merta — tanpa memerlukan persediaan setempat.
Semua pelajaran dalam kursus ini
- Either : Pengendalian Error Bertaip Tanpa Exception
- DSL Raise Arrow: Menggabungkan Ralat Bertype
- Option dan Nullable: Bila Menggunakan Setiap Satu
- Pemodelan Domain Fungsian dengan Jenis Teras Arrow