intentional programming

30 Oct 2021 02:15 - 17 Jun 2023 08:29
Open in Logseq
    • Not sure I like this term, but I mean to designate all kinds of programming that is higher level than stepping a machine through mechanical steps.
    • Declarative programming like SQL - expresses a formal definition of an output. it is the job of another program (the query execution engine) to figure out how to compute it efficiently.
      • CSS as a terrible example
    • Constraint programming
    • Programming-by-example
      • In Robotics (Baxter)
    • AI/ML programming