5 ms·
Would you consider lisp to be (possibly) declarative?
by HowTheStoryEnds 4y ago
Would you consider lisp to be (possibly) declarative?
- ghoward 4y agoNo, it is Turing-complete. I was going off of the article and Nix documentation that says Nix is declarative. But if it actually is not, then there shouldn't be a problem with power. However, Nix proponents shouldn't claim it is declarative either.
- theCodeStig 4y agoLaziness, and purely functional go a long way toward declarative.
- ghoward 4y agoDeclarative has a few definitions with respect to computer languages, and the Nix community seems to be using one and ignoring others. When I think of declarative, I think of a language that has less power than a Turing-complete language. Think Make without bash or any shell. Or HTML without CSS. In other words, the Nix community seems to use "declarative" as meaning "without side effects" where some programmers, like myself, hear "declarative" and think of something like HTML without CSS or JSON.
- theCodeStig 4y agoNot all lisps are declarative, but a lisp certainly can be declarative.