'Fwd: [Haskell-cafe] I read somewhere that for 90% of a wide class of'

[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Fwd: [Haskell-cafe] I read somewhere that for 90% of a wide class of
From:       "Alberto G. Corona " <agocorona () gmail ! com>
Date:       2009-09-30 19:25:06
Message-ID: a13b39160909301225r5d4f94deu1fb9f5260da5056b () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]

I would say that pure knowledge is pure and functional. but human planning
and problem solving is imperative because implies sequencing of operations
based on this pure knowledge. haskell express both nicely.

2009/9/30 Andrew Coppin <andrewcoppin@btinternet.com>

> Peter Verswyvelen wrote:
>
>> I really doubt people tend to think in either way. It's not even sure our
>> thinking can be modeled with computing no?
>>
>
> Well, try this: Go ask a random person how you add up a list of numbers.
> Most of them will say wsomething about adding the first two together, adding
> the third to that total, and so forth. In other words, the step by step
> instructions. Very few of them will answer that the sum of an empty list is
> defined to be zero, and the sum of a non-empty list is defined to be the
> first number plus the sum of the list tail.
>
> Then again, few non-programmers will set anything about creating a counter
> variable and initialising it to zero either; this is a programming
> "artifact". (Humans don't think like this internally, but most programming
> languages conceptually require it.) Nobody has much difficulty with this, so
> maybe the only problem with Haskell is that everybody learns to program "the
> other way" first, before they get to Haskell...
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>

[Attachment #5 (text/html)]

<br><div class="gmail_quote"><br><br>I would say that pure knowledge is pure and \
functional. but human planning and problem solving is imperative because implies \
sequencing of operations based on this pure knowledge. haskell express both \
nicely.<br> <br><div class="gmail_quote"><div class="im">
2009/9/30 Andrew Coppin <span dir="ltr">&lt;<a \
href="mailto:andrewcoppin@btinternet.com" \
target="_blank">andrewcoppin@btinternet.com</a>&gt;</span><br></div><blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex">

<div>Peter Verswyvelen wrote:<div class="im"><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"> I really doubt people tend to think in either way. It&#39;s \
not even sure our thinking can be modeled with computing no?<br> </blockquote>
<br></div></div>
Well, try this: Go ask a random person how you add up a list of numbers. Most of them \
will say wsomething about adding the first two together, adding the third to that \
total, and so forth. In other words, the step by step instructions. Very few of them \
will answer that the sum of an empty list is defined to be zero, and the sum of a \
non-empty list is defined to be the first number plus the sum of the list tail.<div \
class="im"> <br>

<br>
Then again, few non-programmers will set anything about creating a counter variable \
and initialising it to zero either; this is a programming &quot;artifact&quot;. \
(Humans don&#39;t think like this internally, but most programming languages \
conceptually require it.) Nobody has much difficulty with this, so maybe the only \
problem with Haskell is that everybody learns to program &quot;the other way&quot; \
first, before they get to Haskell...<div>

<div></div><div><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" \
target="_blank">Haskell-Cafe@haskell.org</a><br> <a \
href="http://www.haskell.org/mailman/listinfo/haskell-cafe" \
target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br> \
</div></div></div></blockquote></div><br> </div><br>

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[prev in list] [next in list] [prev in thread] [next in thread] 