Bạn đã bao giờ mệt mỏi khi phải viết hàng chục dòng code chỉ để kiểm tra các trường hợp ngoại lệ (edge cases) cho một hàm đơn giản? Đó là dấu hiệu cho thấy bạn đang trộn lẫn giữa “việc thực thi” và “việc kiểm soát”.

Để giải quyết tận gốc sự phức tạp này, chúng ta cần quay lại với nền tảng của triết học: Tư duy Diễn dịch (Deductive Reasoning). Đây chính là chìa khóa để thiết kế những hàm (functions) chắc chắn, hiệu quả và dễ dự đoán.

1. Suy luận diễn dịch là gì?

Trong logic học, suy luận diễn dịch là phương pháp lập luận mà trong đó kết luận được đảm bảo đúng tuyệt đối, miễn là các tiền đề ban đầu của nó đúng.

Cấu trúc kinh điển nhất là Tam đoạn luận:

1. Tiền đề chính: Mọi người đều phải chết.
2. Tiền đề phụ: Socrates là một con người.
3. Kết luận: Socrates chắc chắn phải chết (Đây là sự tất yếu).

2. Từ Logic học đến cấu trúc Code

Trong lập trình, chúng ta thường vô tình áp dụng logic này vào các câu lệnh điều kiện, nhưng lại thiếu đi sự phân tách rạch ròi giữa Tính Hợp Lệ (Validity) và Tính Đúng Đắn (Soundness).

• Tính Hợp Lệ (Logic bên trong): Một hàm được coi là hợp lệ nếu luồng xử lý if/else của nó bao phủ hết mọi khả năng của dữ liệu đầu vào.
• Tính Đúng Đắn (Thực tế đầu vào): Hàm chỉ thực sự hoạt động đúng nếu dữ liệu truyền vào (tiền đề) thực sự sạch và đúng kiểu.

3. Công thức thiết kế hàm: Tách biệt “Gác cổng” và “Thực thi”

Để áp dụng logic diễn dịch một cách triệt để, chúng ta nên tuân thủ Nguyên tắc Trách nhiệm Đơn nhất (SRP) bằng cách chia làm hai loại hàm:

Hàm 1: Hàm Cốt Lõi (Core Logic) – “Vùng an toàn”

Hàm này chỉ thực hiện các phép suy luận Tất Yếu. Nó hoạt động dựa trên một giả định: Tiền đề đã được đảm bảo đúng.

JavaScript

// Tiền đề: x LUÔN LUÔN là một số nguyên.
function phanLoaiSo(x) {
    if (x > 0) return "Số Dương";
    if (x === 0) return "Số 0";
    return "Số Âm"; // Kết luận tất yếu vì x không > 0 và không = 0
}

Tại đây, logic cực kỳ sạch sẽ vì nó không bị làm phiền bởi các kiểm tra như x có phải là chuỗi không, hay x có bị null không.

Hàm 2: Hàm Gọi (Validation) – “Người gác cổng”

Trách nhiệm của hàm này là biến các dữ liệu hỗn loạn từ thế giới thực thành các Tiền đề Đúng trước khi đưa vào Hàm Cốt Lõi.

JavaScript

function main() {
    const input = getRawInput();
    
    // Đảm bảo tiền đề "X là số nguyên" đúng trong thực tế
    if (!Number.isInteger(input)) {
        console.error("Lỗi: Đầu vào phải là số nguyên");
        return;
    }
    
    // Khi tiền đề đã đúng, ta an tâm thực hiện suy luận diễn dịch
    const ketQua = phanLoaiSo(input);
    console.log(ketQua);
}

4. Lợi ích của việc “Tư duy Diễn dịch”

Việc tách bạch này mang lại hai lợi ích khổng lồ cho dự án của bạn:

1. Hiệu năng: Hàm cốt lõi không cần kiểm tra lại dữ liệu nhiều lần trong các vòng lặp lớn.
2. Khả năng kiểm thử (Testability): Bạn có thể viết Unit Test cho hàm cốt lõi cực nhanh với các giá trị chuẩn, thay vì phải tốn công giả lập hàng chục trường hợp lỗi nhập liệu.

Kết luận

Áp dụng tư duy diễn dịch không chỉ là viết if/else. Đó là cách bạn phân định ranh giới giữa sự chắc chắn của logic và sự hỗn loạn của dữ liệu đầu vào. Lần tới khi viết hàm, hãy tự hỏi: “Hàm này đang thực hiện suy luận tất yếu, hay nó đang cố gắng đi dọn rác cho những hàm khác?”