[Haskell-cafe] Why Haskell is beautiful to the novice
rustompmody at gmail.com
Tue Sep 1 17:53:19 UTC 2015
On Mon, Aug 31, 2015 at 1:57 PM, Alexey Muranov <alexey.muranov at gmail.com>
> On 31 août 2015, at 06:11, Richard A. O'Keefe <ok at cs.otago.ac.nz> wrote:
> > Sorry, cliekd the wrong button.
> > If you had troubled to read the Wikipedia article with care,
> > you'd have seen this right at the beginning:
> > In computer science, a function or expression is
> > VVVVVVVVVVVVVVVVVVVVVVVV
> > said to have a side effect if, in addition to returning
> > ^^^^^^^^^^^^^^^^^^^^^^^^
> > a value, it also modifies some state or has an observable
> > interaction with calling functions or the outside world.
> > You have a function, whose purported effect is to return a
> > value. "IN ADDITION TO" that, it has "A SUBSIDIARY CONSEQUENCE",
> > "A SECONDARY RESULT".
> In my opinion, with such interpretation there can be no documented side
> effects: if some effect is documented, it is purported (an probably used by
> someone), so not secondary.
I think this argument represents a generation gap:
Those brought up on Pascal will find it obvious what Richard (is trying)
- a function either just returns a value or has side-effects
- a procedure has effects -- nothing 'on the side' here.
Unfortunately C screwed up a whole generation by removing this distinction
from our thinking ontologies
And the languages that have followed C are often worse eg python's None
return is more ambiguous than C's void return
eg. Ive found experienced python programmers dont understand that the
'procedure' appellation can only be applied to to functions that ALWAYS
One could say that Haskell's monadic types reinstates Pascal's dichotomy
More on this here:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe