Look at your favorite programming language and identify the little functional logic languages embedded in it (meaning: backtracking evaluation with unification to find unknowns). JavaScript, C#, and Java have one for regular expressions.
-
-
At some point, we should take this realization seriously and start building backtracking, failure and unification into languages as first class constructs, to replace the funky sublanguages with a general language feature.
Show this thread -
Fortunately, most languages already have the low-level plumbing mechanisms to implement functional logic: futures (variables that can be unified), coroutines (for separating value production from consumption), and exceptions (for failing back to a join.)
Show this thread
End of conversation
New conversation -
-
-
Does that mean you can help me with my computer science homework
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Rust has only one for Generics, where traits and lifetimes hook in. Also dynamic dispatch uses that. Unfortunately there is different syntactic sugar that some of them can optionally use to support short syntax with traits which is not supported in all positions.
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.