Can you summarize the following document?
        
  例如,在指令式程式設計環境中,formula_1表示將表示式的結果賦給formula_2,而之後改變formula_3或formula_4的值不會影響formula_2。但在響應式程式設計中,formula_2的值會隨著formula_3或formula_4的更新而更新。電子表格程式就是響應式程式設計的一個例子。單元格可以包含字面值或類似"=B1+C1"的公式,而包含公式的單元格的值會依據其他單元格的值的變化而變化 。  另一個例子是硬體描述語言,比如Verilog,這裡響應式程式設計可以對電路中傳播的訊號變化進行建模。  響應式程式設計最初是為了簡化互動式使用者介面的建立和實時系統動畫的繪製而提出來的一種方法,但它本質上是一種通用的程式設計正規化。  例如,在MVC軟體架構中,響應式程式設計允許將相關模型的變化自動反映到檢視上,反之亦然。

  

  響應式程式語言包括從顯式的使用箭頭來表示資料流,到隱式的通過語言類似命令式或者函式式的語言架構衍生而來的資料流。例如,在隱式的函式式響應式程式設計中,一個函式呼叫可能隱式的導致一個節點在資料流圖中被建立出來。動態語言的響應式程式設計庫(例如Lisp的“Cells”和Python的“Trellis”等)可以在執行時通過對函式執行數值讀取的過程進行分析,構建出依賴圖,使得資料流不僅隱式,而且動態。  響應式程式設計的說法有時候會被用在軟體工程的架構分層中,這是資料流圖中所謂的節點只是能夠互相通訊的普通程式。
在計算中,響應式程式設計或反應式程式設計(英語:Reactive programming)是一種面向資料串流和變化傳播的宣告式程式設計正規化。這意味著可以在程式語言中很方便地表達靜態或動態的資料流,而相關的計算模型會自動將變化的值通過資料流進行傳播。