Mengangkat Fungsi ke dalam Konteks Pilihan dalam Effect-TS: Panduan Praktikal

Dalam pengaturcaraan berfungsi, mengangkat merujuk kepada proses menyesuaikan fungsi untuk berfungsi dalam konteks tertentu, seperti Pilihan. Effect-TS menyediakan kaedah mudah untuk mengangkat fungsi ke dalam konteks Pilihan, membolehkan anda menggunakan fungsi atau predikat kepada nilai Pilihan dengan lancar. Dalam artikel ini, kami akan meneroka dua fungsi utama untuk mengangkat: O.lift2 dan O.liftPredicate.

Contoh 1: Mengangkat Fungsi Binari dengan O.lift2

Konsep

Fungsi O.lift2 membolehkan anda mengangkat fungsi binari (fungsi yang mengambil dua argumen) ke dalam konteks Pilihan. Ini membolehkan anda menggunakan fungsi pada dua nilai Pilihan. Jika kedua-dua Pilihan adalah Beberapa, fungsi itu digunakan; jika salah satu Pilihan adalah Tiada, hasilnya adalah Tiada.

Kod

function lifting_ex01() {
  const add = (a: number, b: number) => a + b;
  const liftedAdd = O.lift2(add);

  const some1 = O.some(1); // Create an Option containing the value 1
  const some2 = O.some(2); // Create an Option containing the value 2
  const none = O.none(); // Create an Option representing no value

  console.log(pipe(some1, liftedAdd(some2))); // Output: Some(3) (1 + 2 = 3)
  console.log(pipe(some1, liftedAdd(none))); // Output: None (since one Option is None)
  console.log(pipe(none, liftedAdd(some2))); // Output: None (since one Option is None)
}

Penjelasan

• paip(some1, liftedAdd(some2)): Kedua-dua Pilihan ialah Beberapa, jadi fungsi tambah digunakan pada nilai, menghasilkan Some(3) (1 2 = 3).
• paip(some1, liftedAdd(none)): Memandangkan salah satu Pilihan ialah Tiada, hasilnya ialah Tiada.
• paip(tiada, diangkatTambah(sesetengah2)): Sekali lagi, kerana salah satu Pilihan ialah Tiada, hasilnya Tiada.

Fungsi ini amat berguna apabila anda ingin menggunakan fungsi binari pada dua nilai Pilihan semasa mengendalikan kes di mana satu atau kedua-dua Pilihan mungkin Tiada.

Contoh 2: Mengangkat Fungsi Predikat dengan O.liftPredicate

Konsep

Fungsi O.liftPredicate membolehkan anda mengangkat predikat (fungsi yang mengembalikan boolean) ke dalam konteks Pilihan. Ini menukar predikat kepada fungsi yang mengembalikan Pilihan. Jika predikat berpuas hati, ia mengembalikan Some dengan nilai; jika tidak, ia tidak mengembalikan Tiada.

Kod

function lifting_ex02() {
  const isPositive = (n: number) => n > 0;
  const liftedIsPositive = O.liftPredicate(isPositive);

  console.log(liftedIsPositive(1)); // Output: Some(1) (1 is positive)
  console.log(liftedIsPositive(-1)); // Output: None (-1 is not positive)
  console.log(liftedIsPositive(0)); // Output: None (0 is not positive)
}

Penjelasan

• liftedIsPositive(1): Predikat isPositive dipenuhi (1 > 0), jadi hasilnya adalah Some(1).
• liftedIsPositive(-1): Predikat tidak berpuas hati (-1 tidak lebih daripada 0), jadi hasilnya Tiada.
• liftedIsPositive(0): Predikat tidak berpuas hati (0 tidak lebih besar daripada 0), jadi hasilnya Tiada.

Fungsi ini berguna apabila anda ingin menggunakan predikat pada nilai dan mengangkat hasilnya ke dalam konteks Pilihan, mengembalikan Beberapa apabila syarat dipenuhi dan Tiada sebaliknya.

Kesimpulan

Mengangkat fungsi ke dalam konteks Pilihan dalam Effect-TS membolehkan anda bekerja dengan lancar dengan nilai pilihan semasa menggunakan fungsi atau predikat. Dengan O.lift2, anda boleh menggunakan fungsi binari pada Pilihan, memastikan bahawa operasi hanya dilakukan apabila kedua-dua nilai hadir. Begitu juga, O.liftPredicate membolehkan anda menukar predikat kepada fungsi yang mengembalikan Pilihan, menjadikannya mudah untuk merangkum keadaan dalam konteks Pilihan. Dengan menggunakan alatan ini, anda boleh memudahkan kod anda dan mengurus nilai pilihan dengan lebih berkesan dalam pengaturcaraan berfungsi.

Atas ialah kandungan terperinci Mengangkat Fungsi ke dalam Konteks Pilihan dalam Effect-TS: Panduan Praktikal. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!