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.
-
-
This Tweet is unavailable.
-
Curry is the most-developed FLP language so far. However, it's still sort of a half-way step, which doesn't fully embrace first-class failure (and still exposes boolean ops), and doesn't use backtracking for loop iteration. https://www-ps.informatik.uni-kiel.de/currywiki/
1 reply 0 retweets 6 likes
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.
0 replies
0 retweets
7 likes
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.