Bài 7 – Khớp mẫu & Đệ quy

Sau khi đã điểm qua xong những công cụ hỗ trợ thao tác với các kiểu dữ liệu căn bản, chúng ta tiếp tục tìm đến nhóm công cụ hỗ trợ tạo logic xử lý linh động cho code tùy vào trạng thái của dữ liệu nhận được và lặp các thao tác xử lý trên tập dữ liệu. Và ở bài viết này thì chúng ta sẽ cần chạy thử code của các sub-program, do đó nên việc tương tác với kết quả code chúng ta sẽ thực hiện với elm reactor.

http://localhost:8000/src/

Pattern Matching

Đầu tiên là cấu trúc logic có tên gọi là Pattern Matching, thường được xem là tương đương với cấu trúc lệnh điều kiện hay rẽ nhánh trong môi trường Imperative. Tên gọi này có hai từ và chúng ta sẽ quan tâm tới yếu tố Matching trước. Các ngôn ngữ thuần Declarative gọi cấu trúc logic rẽ nhánh là Matching (sự đối chiếu) là bởi vì chương trình của chúng ta sẽ không có các câu lệnh tuần tự mà thay vào đó là các định nghĩa song song.

Đoạn định nghĩa day n như trên sẽ được trình biên dịch compiler đọc lần lượt là:

Riêng vị trí cuối cùng thì ký hiệu _ sẽ được đọc là những giá trị khác của n. Bây giờ chúng ta sẽ sửa lại chương trình main và xem kết quả chạy thử code Tell.day trên trình duyệt.

http://localhost:8000/src/Main.elm

Ok. như vậy là chúng ta đang có một cú pháp dạng switch..case hoạt động tốt. Tuy nhiên bạn thấy đấy, điểm khác biệt ở đây là, ở phía bên phải của các case đều là các giá trị value, chứ không phải là các câu lệnh statement. Cú pháp case..of mà chúng ta thấy ở đây, là một dạng biểu thức liên hệ để thay thế cho việc viết lại nhiều lần tên của sub-program trong định nghĩa như phần giải thích phía trên. Vì vậy người ta sử dụng từ Matching (đối chiếu) thay cho từ conditional (điều kiện) trong môi trường Imperative.

Thế còn Pattern thì sao ?

Từ đó có nghĩa là dạng thức – tức là chúng ta sẽ có thể đối chiếu bằng các dạng thức của dữ liệu chứ không nhất thiết phải là các giá trị cụ thể. Ví dụ như tên định kiểu của giá trị nhận được, hoặc dạng thức mô tả các trạng thái của các cấu trúc dữ liệu – ví dụ List rỗng, 1 phần tử, 2 phần tử, hoặc nhiều hơn, v.v…

http://localhost:8000/src/Main.elm

Trong trường hợp này, nếu như chúng ta truyền vào Just.any một cái Just chứa bất kỳ giá trị nào thì kết quả hiện thị cũng đều là "Something". Còn nếu truyền vào Tell.any Nothing thì kết quả hiển thị sẽ là chuỗi "Nothing". Điều đó có nghĩa là chương trình con Tell.any chỉ quan tâm tới việc giá trị đó được xếp loại nào trong Maybe, chứ không quan tâm tới câu hỏi giá trị đó là gì? định lượng bao nhiêu? hay có nội dung thế nào?

Chúng ta hãy tiếp tục viết một chương trình con để nhận định trạng thái dữ liệu của một List bất kỳ.

Trong code ví dụ thì pattern ở trường hợp cuối cùng là x::xs có nghĩa là khi List l là kết quả của thao tác chèn một phần tử x vào một List xs có chứa các giá trị khác tương tự như x. Điều đó cũng có nghĩa là khi List l có chứa ít nhất 2 phần tử trở lên – bao gồm X và các X khác.

Cùng lúc matching bằng các giá trị cụ thể đặt trong các pattern có được không ?

Có, chắc chắn là được! Nếu có một số hữu hạn các giá trị đặc biệt cần quan tâm trong logic xử lý của code thì chúng ta có thể đặt các giá trị đó vào vị trí của các biến sử dụng trong các pattern. Lúc này Elm sẽ kiểm tra tính phù hợp của dữ liệu thực tế cả về mặt pattern và giá trị tại vị trí các biến.

Các pattern đối với List như vậy là đã khá linh động rồi. Bây giờ, chúng ta hãy thử làm ví dụ với các Tuple mô tả tọa độ của các điểm trong không gian 3D –

http://localhost:8000/src/Main.elm

Recursion

Sau khi đã biết cách tạo logic linh động cho code dựa trên kiểu và dạng thức của dữ liệu thì chúng ta cần thêm một công cụ nữa để hỗ trợ lặp thao tác trên tập dữ liệu List. Chúng ta đã biết sử dụng công cụ này trước đó rồi. Định nghĩa đệ quy recursion đã được nhắc đến trong bài viết Imperative & Declarative của Series Tự Học Lập Trình Web.

http://localhost:8000/src/Main.elm

Ậy… viết tới đây thì mình mới để ý là chúng ta đang cần một giải pháp viết gọn lại các lời gọi sub-program xếp chồng nhiều lớp như thế kia. Các cặp ngoặc đơn được đặt trên cùng hàng chữ sẽ khá khó để nhận diện nhanh chóng khi chúng ta đọc lướt qua code.

Chỉ đơn giản là cứ mỗi một cặp ngoặc đơn, chúng ta sẽ thay thế bằng một ký hiệu <| để chuyển kết quả của sub-program bên trong ra bên ngoài ở phía bên trái. Bạn cũng có thể sử dụng các ký hiệu |> để sắp xếp thứ tự của các sub-program theo chiều ngược lại hoặc danh sách sổ dọc cũng rất dễ theo dõi. Tuy nhiên, tuần tự viết như vậy sẽ khiến pattern suy luận logic của chúng ta nghiêng về phía Imperative và sẽ ảnh hưởng nhất định tới việc làm quen với tư duy giải quyết các vấn đề theo lối đệ quy recursion đặc biệt quan trọng trong môi trường Declarative.

Lựa chọn của mỗi người có lẽ sẽ khác nhau. Mình thì chọn giữ nguyên thứ tự viết tên các sub-program theo chiều đệ quy. Và khi viết liệt kê dạng danh sách sổ dọc thì mỗi ký hiệu <| sẽ có thể hiểu là kết quả thực thi code sẽ được chuyển ngược về dòng trên.

Recursion in JS

[Declarative Programming + Elm] Bài 8 – Conditional Expression