Kiểu dữ liệu Maybe

Kiểu dữ liệu Maybe

Những mẩu tin ngắn hàng ngày dành cho bạn
  • Hẳn là nhiều người ở đây đã nghe đến kiểu tấn công bảo mật Clickjacking rồi nhỉ. Kẻ tấn công thường nhúng một website (thường là mục tiêu) vào trong một iframe trên website của chúng, sau đó làm mờ hoặc ẩn nó đi rồi đặt vào vị trí các nút bấm trên web, ví dụ "Bấm vào để nhận quà". Đâu ai ngờ rằng phía trên nút bấm đó là một nút bấm khác trong iframe. Khá nguy hiểm!

    Nhưng trình duyệt đã có cách ngăn chặn kiểu tấn công này bằng các quy tắc như tiêu đề X-Frame-Options, frame-ancestors của CSP và SameSite: Lax/Strict của Cookies...

    Mới đây, đã xuất hiện thêm kiểu tấn công mới - "DoubleClickjacking" 😨. Đại ý là "hắn" lợi dụng hành động double click để lừa người dùng bấm vào một nút mà hắn muốn. Chi tiết hơn trong bài viết này: DoubleClickjacking: A New Era of UI Redressing.

    » Xem thêm
  • Mọi người đã nghe nói đến Jujutsu - jj - một dạng quản lý phiên bản cho mã nguồn (version control system) chưa? Có vẻ như nó đang nhận được nhiều sự quan tâm.

    Chờ xíu! Chẳng phải git đã quá tốt rồi sao? Thế thì chế ra thằng jj để làm gì nữa? Cũng hơi khó trả lời nhỉ? Mỗi công cụ sinh ra chắc chắn phải cải thiện hoặc khắc phục được nhược điểm của cái trước. Cho nên jj ắt hẳn phải làm được điều gì đó mà git chưa làm được nên mới nổi lên như vậy.

    Thật ra mình đã nghe nói đến jj từ vài tháng trước rồi, nhưng vào đọc thì toàn kiến thức cao siêu. Hoặc là đang mang nặng cái lối suy nghĩ của git vào trong đầu rồi nên chưa lĩnh hội ra được điều gì cả.

    Mình hay có kiểu cái gì đọc lần 1 mà không hiểu thì đọc tiếp lần 2, lần 2 không hiểu thì đọc tiếp lần 3... đến lần thứ n mà vẫn không hiểu thì bỏ. Cơ mà không phải là từ bỏ mà một thời gian sau đó quay lại đọc tiếp. Đến một lúc nào đó khả năng mình sẽ hiểu ra một ít vấn đề, thế mới tài 😆.

    Thì cái jj này có vẻ như nó đang mở ra được tính linh hoạt trong việc "cam kết" mã. Tưởng tượng bạn đang làm việc trên một dự án, đang ở nhánh này, muốn sang nhánh khác để sửa, nhưng mà lại đang viết dở ở nhánh này, thế là phải stash, rồi checkout, rồi commit, rồi merge hoặc rebase lại vào nhánh cũ... nhìn chung quá trình làm việc với git nghiêm ngặt đến mức cứng nhắc, cần nhiều thao tác để giải quyết một vấn đề, chưa kể cái cây commit (commit-tree) nữa thì ôi thôi, khỏi xem cho đỡ nhức mắt. Thế nên ông jj này đang làm cách nào đó để bạn khỏi cần phải quan tâm đến các nhánh luôn, sửa trực tiếp vào commit. Nghe ảo nhỉ 😂.

    Đấy mới lĩnh hội được đến đấy, hy vọng sau n lần đọc lại nữa mình sẽ viết được một bài chi tiết hơn về công cụ này.

    » Xem thêm
  • Gòi gòi tới công chiện gòi 🤤🤤🤤

    » Xem thêm

Vấn đề

Promise trong JavaScript chắc hẳn không còn xa lạ với bất kỳ ai. Một Promise đại diện cho một "lời hứa" rằng khi gọi hàm, nó chắc chắn sẽ trả về giá trị trong tương lai. Cho dù là xử lý được (resolve) hay không (reject), thì chúng ta đều đoán được khả năng xảy ra 1 trong 2. Và chắc chắn một điều rằng cả 2 không thể xảy ra cùng một lúc.

database.query('SELECT * ...');
  .then(...);
  .catch(...);

Nếu nghiên cứu kỹ hơn về Promise, bạn sẽ thấy đây là một kiểu kiến trúc rất hay và đặc biệt. Bởi vì nó không giống với các kiểu dữ liệu nguyên thuỷ nào cả, và có một vài tính chất đặc biệt như một cấu trúc dữ liệu, thừa hưởng một số phương thức mà chỉ nó mới có như thencatch. Hơn nữa, nếu thấy một Promise, bạn gần như chắc chắn nên xử lý nó như thế nào.

Ngoài Promise ra, trong nhiều ngôn ngữ lập trình khác nói chung hay JavaScript nói riêng, thì người ta luôn cố gắng tạo ra những cấu trúc dữ liệu an toàn hơn cho lập trình. Trong đó có thể kể đến kiểu Maybe. Vậy thì kiểu dữ liệu "Có lẽ" này có gì đặc biệt, nó giúp ích gì trong lập trình? Câu trả lời có trong bài viết dưới đây.

Kiểu dữ liệu Maybe

Maybe là một cấu trúc dữ liệu đại diện cho việc có hoặc không có giá trị. Ví dụ dưới đây là một triển khai đơn giản nhất cho Maybe:

class Maybe {
  constructor(value) {
    this.value = value;
  }

  isNothing() {
    return this.value === null || this.value === undefined;
  }

  getOrElse(defaultValue) {
    return this.isNothing() ? defaultValue : this.value;
  }
}

Khi đó tạo ra một cấu trúc bằng cách:

const name = new Maybe('2coffee');
console.log(name); // Maybe {value: '2coffee'}
// hay
const unname = new Maybe(); // Maybe {value: undefined}

Hãy lần lượt đi qua các phương thức trong Maybe.

Đầu tiên chúng ta thấy có một isNothing. Phương thức này kiểm tra xem liệu một Maybe là có giá trị hay không có giá trị, nó thường được dùng để xem có giá trị hay không, từ đó xử lý cho phù hợp.

getOrElse trả về giá trị thực của Maybe hoặc một giá trị mặc định được truyền vào nếu Maybe đó đang không có giá trị nào.

Cách dùng cũng đơn giản. Ví dụ, muốn lấy ra giá trị của unname, nếu không có thì trả về 2coffee.

const unname = new Maybe();
const realName = unname.getOrElse('2coffee'); // 2coffee

name là một thực thể của Maybe. Chúng ta biết name chứa một chuỗi 2coffee nhưng không thể áp dụng một số logic thông thường như đối với chuỗi. Ví dụ:

const name = new Maybe('2coffee');
const fullName = name + `.dev`; // [object Object].dev

Đó là vì name giờ đây là một triển khai của Maybe, nó không phải là chuỗi nên không thể thực thi logic như một chuỗi. Thay vào đó chúng ta nên qua một bước lấy giá trị trong Maybe ra trước.

const name = new Maybe('2coffee');
const fullName = name.getOrElse() + '.dev'; // 2coffee.dev

Cách dùng này không an toàn, bởi vì giả sử name không chứa giá trị thì sẽ nhận được kết quả là undefined.dev. Nên cần phải xử lý thêm ngoại lệ cho trường hợp name không có giá trị. Hoặc.

Các kiểu dữ liệu Maybe thường được triển khai thêm phương thức map. Nó cho phép áp dụng một hàm vào giá trị bên trong của Maybe mà không cần phải lấy ra giá trị thực.

class Maybe {
  ...
  static of(value) {
    return new Maybe(value);
  }

  map(fn) {
    if (this.isNothing()) {
      return this;
    }
    return Maybe.of(fn(this.value));
  }
}

map nhận vào một hàm để áp dụng hàm đó vào giá trị bên trong Maybe. static of để gói lại giá trị vào Maybe và trả về.

const name = new Maybe('2coffee');
const makeFullName = (name) => name + '.dev'

const fullName = name.map(makeFullName); // Maybe {value: '2coffee.dev'}

Hơi khó hiểu nhỉ? thế tại sao không khai báo luôn name = '2coffee' đi mà còn phải đi qua Maybe? Bời vì lý do đằng sau cho việc sử dụng Maybe mang lại một số lợi ích nhất định trong các trường hợp nhất định.

Lợi ích trong thực tiễn

Việc áp dụng Maybe trong lập trình giúp chúng ta giảm thiểu được lỗi nullundefined. Bởi vì khi gặp giá trị Maybe, chúng ta bắt buộc phải xử lý dữ liệu theo kiểu Maybe.

const user = null;
const name = user.name; // TypeError: Cannot read properties of null

// so với

const user = Maybe.of(null);
const name = user.map((u) => u.name); // Maybe {value: null}

Một điều mình rất thích và luôn muốn viết chương trình theo kiểu chuỗi xử lý (chaining). Maybe hoàn toàn có thể đáp ứng mà không lo "break" khi gặp giá trị null hoặc undefined.

const data = {
  user: {
    address: {
      city: "Hanoi"
    }
  }
};

const city = Maybe.of(data)
  .map((d) => d.user)
  .map((user) => user.profile)
  .map((address) => address.city);

Ở ví dụ trên, ở map thứ 2, rõ ràng user.profile trả về undefined nhưng map thứ 3 vẫn có thể thực thi mà không gây ra lỗi "Cannot read properties of undefined", vì map đã xử lý ngoại lệ này.

Tương tự, Maybe buộc chúng ta phải xử lý trường hợp không có giá trị. Hãy tưởng tượng Maybe giống như Promise. Một khi đã gọi thì luôn luôn trả về 1 trong hai giá trị là có giá trị và không có giá trị, trong mỗi trường hợp thì phải xử lý sao cho đúng cách để chương trình không gây lỗi trong quá trình chạy.

function findUserById(id) {
  const user = database.find((u) => u.id === id);
  return Maybe.of(user); // Trả về Maybe thay vì null
}

const userName = findUserById(1)
  .map((user) => user.name)
  .getOrElse("User not found");

Ngoài ra, nếu áp dụng tốt Maybe thì chương trình còn trở nên gọn gàng, sạch sẽ hơn nữa. Đôi khi sẽ không còn những câu lệnh điều kiện if-else đầy rối rắm.

Tổng kết

Maybe là một cấu trúc dữ liệu đại diện cho việc có hoặc không có giá trị. Áp dụng Maybe trong lập trình giúp chúng ta giảm thiểu được lỗi nullundefined, xử lý được chaining, phải xử lý tất cả trường hợp có hoặc không có dữ liệu trả về... Bên cạnh Maybe, còn có một cấu trúc dữ liệu khác nữa có tên là Either, bổ sung thêm một số tính chất mà Maybe không có. Chúng ta sẽ cùng nhau tìm hiểu trong bài viết tiếp theo nhé!

Cao cấp
Hello

Tôi & khao khát "chơi chữ"

Bạn đã thử viết? Và rồi thất bại hoặc chưa ưng ý? Tại 2coffee.dev chúng tôi đã có quãng thời gian chật vật với công việc viết. Đừng nản chí, vì giờ đây chúng tôi đã có cách giúp bạn. Hãy bấm vào để trở thành hội viên ngay!

Bạn đã thử viết? Và rồi thất bại hoặc chưa ưng ý? Tại 2coffee.dev chúng tôi đã có quãng thời gian chật vật với công việc viết. Đừng nản chí, vì giờ đây chúng tôi đã có cách giúp bạn. Hãy bấm vào để trở thành hội viên ngay!

Xem tất cả

Đăng ký nhận thông báo bài viết mới

hoặc
* Bản tin tổng hợp được gửi mỗi 1-2 tuần, huỷ bất cứ lúc nào.

Bình luận (0)

Nội dung bình luận...
Bấm hoặc cuộn mạnh để sang bài mới