Tư duy trong ngôn ngữ lập trình mảng: Tối ưu hóa mã nguồn với K

K là một ngôn ngữ mảng (array language) độc đáo, đòi hỏi lập trình viên phải thay đổi tư duy tiếp cận vấn đề so với các ngôn ngữ lập trình thông thường. Thay vì sử dụng các vòng lặp phức tạp hay thay đổi trạng thái biến liên tục, K khuyến khích việc thao tác trực tiếp trên toàn bộ dữ liệu dưới dạng mảng.

Hầu hết quá trình phát triển phần mềm bằng K diễn ra thông qua REPL (Read-Eval-Print Loop). Môi trường này cho phép bạn kiểm thử các hàm ngay lập tức, lưu lịch sử các lệnh và lặp lại nhanh chóng các ý tưởng. Một tập lệnh (script) trong K thực chất chỉ là một chuỗi các lệnh được thực thi tuần tự như khi bạn gõ chúng vào REPL, và bạn có thể tải dữ liệu từ file vào môi trường làm việc bất cứ lúc nào.

Tư duy mảng so với mệnh lệnh

Một trong những trở ngại lớn nhất đối với người mới bắt đầu với K là thói quen dịch trực tiếp các thuật toán mệnh lệnh (imperative) từ các ngôn ngữ như C hay Python sang K. Việc này thường dẫn đến mã nguồn rườm rà, khó đọc và không tận dụng được sức mạnh thực sự của ngôn ngữ.

Lập trình mảng thực chất là quá trình liên tục đơn giản hóa các mẫu mã. Một thuật toán lớn, lộn xộn luôn có thể được rút gọn thành một biểu thức nhỏ gọn, dễ hiểu và mang tính khai báo (declarative) cao hơn.

Ví dụ: Tối ưu hóa nhân ma trận

Hãy xem xét thuật toán nhân ma trận. Nếu chúng ta dịch trực tiếp mã giả (pseudo-code) sử dụng ba vòng lặp lồng nhau từ Wikipedia sang K, ta sẽ nhận được một đoạn mã cực kỳ tồi tệ:

matmul: {
A::x
B::y
n::#A
m::#*A
p::#*B
C::(n;p)#0
i::0
j::0
k::0
sum::0
{
i::x
{
j::x
sum::0
{
k::x
sum::sum+A[i;k]*B[k;j]
}'!m
C[i;j]::sum
}'!p
}'!n
C}

Đoạn mã trên gặp nhiều vấn đề: sử dụng quá nhiều biến toàn cục (globals), nhiều vòng lặp lồng nhau và thao tác sửa đổi dữ liệu liên tục. Đây không phải là cách K hoạt động hiệu quả.

Quá trình tinh gọn mã nguồn

Chúng ta có thể giải quyết vấn đề này từng bước một.

Bước 1: Loại bỏ vòng lặp tính tổng Thay vì dùng vòng lặp để cộng dồn, hãy sử dụng toán tử fold (/) để tính tổng.

Bước 2: Loại bỏ biến trung gian Thay vì gán giá trị vào ma trận kết quả C, ta có thể trả về trực tiếp mảng kết quả từ các vòng lặp.

Bước 3: Loại bỏ các chỉ số không cần thiết Trong K, ta có thể thao tác trên cả hàng và cột mà không cần duyệt qua từng chỉ số i, j, k. Bằng cách sử dụng các toán tử như each ('), each-right (/:) và each-left (\:), ta có thể khớp các hàng của ma trận này với cột của ma trận kia một cách trực tiếp.

Sau khi áp dụng các bước tối ưu hóa, hàm nhân ma trận được rút gọn đáng kể:

matmul: {x{+/x*y}/:\:+y}

Chúng ta thậm chí có thể viết nó dưới dạng hàm ẩn (tacit) hoàn toàn:

matmul: (+/*)\:

Kết luận

Kết quả cuối cùng là một hàm nhân ma trận cực kỳ ngắn gọn mà bất kỳ lập trình viên K nào cũng có thể tự hào. Quá trình chuyển đổi từ tư duy mệnh lệnh sang tư duy mảng có thể khó khăn lúc đầu, nhưng khi đã quen, bạn sẽ thấy việc viết mã K trở nên trực quan và tự nhiên hơn bao giờ hết. Đây chính là chìa khóa để khai thác tối đa hiệu suất của ngôn ngữ lập trình mảng.