Programming Language Theory: Difference between revisions
No edit summary |
|||
| Line 120: | Line 120: | ||
===Constraint Programming=== | ===Constraint Programming=== | ||
'''FIXME''' | '''FIXME''' | ||
===Nondeterminism==== | |||
'''FIXME''' impossible in purely declarative programming! | |||
==Typing== | ==Typing== | ||