Here's another thing I believe: The next mainstream programming language (or family of them) will have functional-logic underpinnings like backtracking, unification, and failure. The move will be driven by the improvements in writing code that's concise, correct, and verifiable.
-
-
McAllester's Ontic (https://mitpress.mit.edu/books/ontic ) makes the leap in recognizing logic programming constructs for expressing the values inhabiting types. However, the elegance is easy to mistake with LISP macro hackery given the s-expression syntax.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.