Lập trình phản ứng

Mẫu hình lập trình
Action language Hướng tác tử Hướng mảng Automata-based programming Concurrent computing Relativistic programming Data-driven programming Khai báo (ngược với: Mệnh lệnh) Hàm Logic hàm Purely functional Logic Abductive logic Answer set Concurrent logic Logic hàm Inductive logic Ràng buộc Constraint logic Concurrent constraint logic Dataflow Flow-based Phản ứng Dynamic/scripting Hướng sự kiện Function-level (ngược với: Value-level) Point-free style Concatenative Tổng quát Mệnh lệnh (ngược với: Khai báo) Thủ tục Hướng đối tượng Literate Language-oriented Natural-language programming Discipline-specific Ngôn ngữ miền chuyên biệt Grammar-oriented Intentional Lập trình meta Automatic Inductive programming Reflective Attribute-oriented Macro Template Non-structured (ngược với: Cấu trúc) Array Nondeterministic Tính toán song song Process-oriented Probabilistic Stack-based Structured (ngược với: Non-structured) Block-structured Hướng đối tượng Actor-based Dựa trên lớp Đồng thời Dựa trên nguyên mẫu By separation of concerns: Hướng khía cạnh Role-oriented Subject-oriented Đệ quy Ký hiệu Value-level (ngược với: Function-level) Lập trình lượng tử

Trong điện toán, lập trình phản ứng (tiếng Anh: reactive programming) là một mẫu hình lập trình khai báo liên quan đến các luồng dữ liệu và lan truyền của sự thay đổi. Với mẫu hình này, có thể dễ dàng thể hiện các luồng dữ liệu (data stream) tĩnh (ví dụ: mảng) hoặc động (ví dụ: bộ phát sự kiện) và cũng có thể truyền đạt rằng có tồn tại một sự phụ thuộc được suy ra trong mô hình thực thi liên quan, tạo điều kiện cho việc truyền tự động dữ liệu đã thay đổi lưu lượng.

Ví dụ, trong thiết lập của lập trình mệnh lệnh (imperative programming), $a:=b+c$ có nghĩa là $a$ được gán cho kết quả của $b+c$ ngay khi biểu thức được ước tính, và sau đó, giá trị của $b$ và$c$ có thể được thay đổi mà không ảnh hưởng tới giá trị của $a$. Ngược lại, trong lập trình phản ứng, giá trị của $a$ được tự động cập nhật mỗi khi giá trị của $b$ hay $c$ thay đổi mà không cần chương trình phải thực thi lại câu lệnh $a:=b+c$ để xác định giá trị được gán hiện tại của $a.$

Một ví dụ khác là ngôn ngữ mô tả phần cứng như Verilog, trong đó lập trình phản ứng cho phép các thay đổi được mô hình hóa khi chúng lan truyền qua các mạch.

Lập trình phản ứng được đề xuất như là một cách để đơn giản hóa việc tạo giao diện người dùng tương tác và hoạt hình hệ thống gần thời gian thực.

Ví dụ, trong kiến trúc MVC (model–view–controller), lập trình phản ứng có thể tạo điều kiện cho các thay đổi trong model bên dưới để được phản ánh tự động trong view được liên kết.

Xem thêm

• Reactive extensions, một API để thực hiện lập trình phản ứng với các luồng, các observable và toán tử có nhiều hiện thực ngôn ngữ bao gồm RxJs, RxJava, RxPy và RxSwift.
• Elm (ngôn ngữ lập trình) Thành phần phản ứng của giao diện người dùng web.
• Reactive Streams, một tiêu chuẩn JVM để xử lý luồng không đồng bộ với áp lực không chặn
• Observable, quan sát được trong lập trình phản ứng.

Liên kết ngoài

• A survey on reactive programming A paper by E. Bainomugisha, A. Lombide Carreton, T. Van Cutsem, S. Mostinckx, and W. De Meuter that surveys and provides a taxonomy of existing reactive programming approaches.
• MIMOSA Project of INRIA - ENSMP, a general site about reactive programming.
• Experimenting with Cells Demonstration of a simple reactive programming application in Lisp, using the Cells library
• REScala Reactive programming for OO applications.
• Deprecating the Observer Pattern A 2010 paper by Ingo Maier, Tiark Rompf and Martin Odersky outlining a reactive programming framework for the Scala programming language.
• Deprecating the Observer Pattern with Scala.React A 2012 paper by Ingo * RxJS, the Reactive Extensions library for "composing asynchronous [...] programs using observable sequences"