That's a useless distinction. Everything is an object in Python. Does that mean ...

catnaroek · on Aug 25, 2016

It has primitive values:

(0) small enough numbers

(1) True, False, None, etc.

(2) object references

But it doesn't have compound values.

And the distinction isn't useless. Values have a richer equational theory than objects, enabling lots of automatic optimizations.

qwertyuiop924 · on Aug 25, 2016

...And outside FP, nobody cares, or uses that definition of value. As noted in my above post.

catnaroek · on Aug 25, 2016

It's useful when writing Prolog programs too.

qwertyuiop924 · on Aug 25, 2016

Logic programming's actually pretty close to FP.

catnaroek · on Aug 25, 2016

Not really. Prolog is first-order. Functional languages, just like object-oriented ones, are higher-order.

qwertyuiop924 · on Aug 25, 2016

"Close," not "is."

catnaroek · on Aug 25, 2016

[flagged]

qwertyuiop924 · on Aug 25, 2016

Don't mock me. And yes, I did mean the notion of mathematical value and variable. That's one of the core tenets of both.

catnaroek · on Aug 25, 2016

[flagged]

qwertyuiop924 · on Aug 25, 2016

They are somewhat close in paradigm: They both favor declarativism, and have mathematical values. Given, they're pretty far apart in paradigm, but those are some strong similarities.

catnaroek · on Aug 25, 2016

> declarativism

I'm not familiar with that term. Could you give a rigorous definition?

Anyway, after some googling, I found a very plausible definition that makes functional programming not a declarative paradigm: http://semantic-domain.blogspot.com/2013/07/what-declarative...