Cảm nhận sau khi xem The Power of Composition (Scott Wlaschin) - Từ việc cố gắng hợp thành đến Currying và Monad

• Một trong những cách tái sử dụng là hợp thành bằng kiểu và hàm
  • Kiểu được hợp thành bằng AND hoặc OR
• Khi số lượng input và output bằng nhau thì việc hợp thành hàm rất dễ
  • Chỉ cần truyền output của hàm này làm input cho hàm tiếp theo là xong
  • Khi số lượng khác nhau thì cần một cách để giải quyết việc này
• Khi số lượng input nhiều hơn thì dùng Currying
  • Nó biến số lượng input thành một
• Khi số lượng output nhiều hơn thì dùng Monad
  • Nó gom số lượng output thành một và phân biệt thành đã được xử lý hoặc chưa được xử lý
    • Cái đã được xử lý thì cứ chuyển thẳng sang hàm tiếp theo
    • Cái chưa được xử lý thì thử xử lý bằng hàm
  • Hóa ra đó chính là Monad
  • Đặt output vào Monad và kết hợp hàm bằng bind

Khi giải thích bằng cách kết hợp hàm và trả lời được câu hỏi "tại sao?" thì việc hiểu trở nên dễ hơn rất nhiều. Trước đây, khi đọc những bài viết giải thích monad theo kiểu cho vào hộp rồi lấy ra, tôi đã không thể hiểu rõ. Nghĩ lại thì có lẽ là vì những bài viết đó đã thiếu mất phần "tại sao".

[kayws426]

Đọc rất hay~

[akarin]

Đọc rất hay. Nhìn như thế này thì dễ hiểu hơn nhỉ.