6 ms·

Lots of words without much value, just like FP! Seriously, why is this on the homepage? Doesn't contain anything interesting about FP.

by mosdl 7y ago

asp_net 7y ago
Actually you are usually writing much less code with FP approaches ;-).
elwell 7y ago
Clojure is an FP language. Clojure is relatively terse.
hans1729 7y ago
>Lots of words without much value, just like FP! not sure if a) people didn't get the pun b) the pun wasn't intended or c) both :thinking:
- meowface 7y ago
  I don't get the pun. Could you explain?
  - hans1729 7y ago
    Immutability is important in FP, lots of functional languages don't even have a var-keyword - they don't deal with values in the sense that oop or imperative languages do. (Instead, they just functionally transform shallow copies of input data, iirc this paradigm is called 'data driven programming') ...so, yeah, "no values" relative to the amount of words used in FP. The pun needs a bit of a stretch, but I'd take it ¯\_(ツ)_/¯
- DonaldPShimoda 7y ago
  It's a bad pun, if it was meant as one. FP is all values and few words, compared to OO languages.
  - hans1729 7y ago
    meh, to me the term "value" only makes sense in a mutable context - if the variable can't be mutated, it is it's own value. but let's not get lost in semantics over a joke (the more because we don't even know wether it was intended)
    - DonaldPShimoda 7y ago
      > to me the term "value" only makes sense in a mutable context - if the variable can't be mutated, it is it's own value I'm so confused by this haha. A value is a term in a language's grammar that cannot be further reduced by the semantics of that language. In some OO languages, objects may be values but functions or types may not. (Though this has been changing lately as more OO languages are getting on board with higher-order functions, for example.) In most FP languages, functions and types are also values. In the lambda calculus, two out of the three possible terms are values. In the pi calculus, types become values (and, therefore, values become types). This is where I was going with my previous comment: FP languages tend to have a wider variety of "values" than the OO languages, which instead just have lots of extra core forms in the language that don't directly translate to the values of the language's semantics.
  - TurboHaskal 7y ago
    I am not sure if you have been paying attention to the strongly typed, category theory zealots lately (who seem to claim they hold the one and only valid functional programming viewpoint). The size of vocabulary and relations they end up juggling put any over engineered OO system to shame. It is attracting the same kind of people that 15 years ago would have reached for (and preached) the GoF book.
    - DonaldPShimoda 7y ago
      > I am not sure if you have been paying attention to the strongly typed, category theory zealots lately Well (1) this is not inherent to all functional programming, and (2) the joke appears to imply that code written in FP will be more verbose with less content, which is surely not the case. (And also (3) I'm guessing you meant "statically typed" instead of "strongly typed", since the latter is poorly defined and not generally the subject of discussion among functional programmers that I've interacted with.) I also have met quite a few people who are into category theory, and none of them have made any claim about holding "the one and only valid functional programming viewpoint". But the people I talk to are genuine academic researchers and not armchair academicians, so perhaps there's a difference there.

Lots of words without much value, just like FP! Seriously, why is this on the homepage? Doesn't contain anything interesting about FP.

by mosdl 7y ago

Lots of words without much value, just like FP! Seriously, why is this on the homepage? Doesn't contain anything interesting about FP.

asp_net 7y ago

Actually you are usually writing much less code with FP approaches ;-).

elwell 7y ago

Clojure is an FP language. Clojure is relatively terse.

hans1729 7y ago

>Lots of words without much value, just like FP! not sure if a) people didn't get the pun b) the pun wasn't intended or c) both :thinking:

meowface 7y ago
I don't get the pun. Could you explain?
- hans1729 7y ago
  Immutability is important in FP, lots of functional languages don't even have a var-keyword - they don't deal with values in the sense that oop or imperative languages do. (Instead, they just functionally transform shallow copies of input data, iirc this paradigm is called 'data driven programming') ...so, yeah, "no values" relative to the amount of words used in FP. The pun needs a bit of a stretch, but I'd take it ¯\_(ツ)_/¯
DonaldPShimoda 7y ago
It's a bad pun, if it was meant as one. FP is all values and few words, compared to OO languages.
- hans1729 7y ago
  meh, to me the term "value" only makes sense in a mutable context - if the variable can't be mutated, it is it's own value. but let's not get lost in semantics over a joke (the more because we don't even know wether it was intended)
  - DonaldPShimoda 7y ago
    > to me the term "value" only makes sense in a mutable context - if the variable can't be mutated, it is it's own value I'm so confused by this haha. A value is a term in a language's grammar that cannot be further reduced by the semantics of that language. In some OO languages, objects may be values but functions or types may not. (Though this has been changing lately as more OO languages are getting on board with higher-order functions, for example.) In most FP languages, functions and types are also values. In the lambda calculus, two out of the three possible terms are values. In the pi calculus, types become values (and, therefore, values become types). This is where I was going with my previous comment: FP languages tend to have a wider variety of "values" than the OO languages, which instead just have lots of extra core forms in the language that don't directly translate to the values of the language's semantics.
- TurboHaskal 7y ago
  I am not sure if you have been paying attention to the strongly typed, category theory zealots lately (who seem to claim they hold the one and only valid functional programming viewpoint). The size of vocabulary and relations they end up juggling put any over engineered OO system to shame. It is attracting the same kind of people that 15 years ago would have reached for (and preached) the GoF book.
  - DonaldPShimoda 7y ago
    > I am not sure if you have been paying attention to the strongly typed, category theory zealots lately Well (1) this is not inherent to all functional programming, and (2) the joke appears to imply that code written in FP will be more verbose with less content, which is surely not the case. (And also (3) I'm guessing you meant "statically typed" instead of "strongly typed", since the latter is poorly defined and not generally the subject of discussion among functional programmers that I've interacted with.) I also have met quite a few people who are into category theory, and none of them have made any claim about holding "the one and only valid functional programming viewpoint". But the people I talk to are genuine academic researchers and not armchair academicians, so perhaps there's a difference there.