Imperative programming là gì?

Lập trình mệnh lệnh là một mô hình (paradigm) lập trình máy tính trong đó chương trình mô tả các bước thay đổi trạng thái của máy tính. Không giống như lập trình khai báo (declarative programming), mô tả "những gì" mà một chương trình phải hoàn thành, lập trình mệnh lệnh cho máy tính biết "cách" để hoàn thành nó một cách rõ ràng. Các chương trình được viết theo cách này thường biên dịch thành các tệp thực thi nhị phân chạy hiệu quả hơn vì bản thân tất cả các lệnh của CPU đều là các câu lệnh mệnh lệnh.

Để làm cho các chương trình đơn giản hơn cho con người để đọc và viết, các câu lệnh mệnh lệnh (imperative statement) có thể được nhóm thành các phần được gọi là các khối mã (code block). Vào những năm 1950, ý tưởng nhóm mã chương trình thành các khối lần đầu tiên được thực hiện bằng ngôn ngữ lập trình ALGOL. Ban đầu chúng được gọi là "câu lệnh ghép" (compound statement), nhưng ngày nay những khối mã này được gọi là thủ tục (procedure). Sau khi một thủ tục được xác định, nó có thể được sử dụng như một câu lệnh mệnh lệnh, trừu tượng hóa luồng điều khiển của một chương trình. Quá trình này cho phép nhà phát triển thể hiện ý tưởng lập trình một cách tự nhiên hơn. Kiểu lập trình mệnh lệnh này được gọi là lập trình thủ tục (procedural programming), và nó là một bước tiến tới sự trừu tượng hóa cấp cao hơn như lập trình khai báo (declarative programming).

Phong cách lập trình thường gắn liền với các ngôn ngữ như C, Fortran, Pascal, v.v. Lập trình mệnh lệnh được phân biệt với lập trình hàm (functional programming) ở chỗ, lập trình trước đây bị ràng buộc chặt chẽ với khái niệm biến (variable) và vị trí bộ nhớ. Một biến được liên kết với một vị trí bộ nhớ và nội dung của vị trí bộ nhớ đó có thể được thay đổi thông qua biến theo thời gian