タグ

declarative-programmingとsoftware-engineeringに関するnabinnoのブックマーク (2)

  • Reactive programming - Wikipedia

    This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (October 2016) (Learn how and when to remove this message) In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm, it is

    nabinno
    nabinno 2014/12/08
    Excel = "A modern spreadsheet program is an example of reactive programming"
  • 宣言型プログラミング - Wikipedia

    宣言型プログラミング(英: Declarative programming)は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる[1]。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている[注釈 1]。 宣言型言語は、what the program must accomplish(何をなすべきか)方針で、副作用を排除した式や純粋関数の実装に努める[2]。これは命令型言語の、how to accomplish it(どうなすべきか)方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される[3]。 宣言的パラダイムは、関数型、論

    宣言型プログラミング - Wikipedia
  • 1