Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-28 Thread Jonathan Cast

On 28 Dec 2007, at 1:15 AM, Cristian Baboi wrote:

On Thu, 27 Dec 2007 17:39:25 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell is  
a formal notation for computation (completely unrelated to the Von  
Neuman machine sitting on your desk).  It can be implemented on  
Von Neuman machines, because they are still universal Turing  
machines, but it is /not/ a radical attack on the problem of  
programming peripherals!


How do you call that thing that implement Haskell ?


Usually I call it a compiler for a computer.  That's a fact about  
economics, not about Haskell.


jcc

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


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi
On Thu, 27 Dec 2007 14:42:37 +0200, Bulat Ziganshin  
[EMAIL PROTECTED] wrote:



Hello Cristian,

Thursday, December 27, 2007, 12:19:08 PM, you wrote:


Yes, but one can store the result of an operation to disk except in the
particular case the result happen to be a function.



how can values of type T be saved to disk?


I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot be  
fulfiled if we cannot get the result of computations out of the computers.







 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Jonathan Cast

On 27 Dec 2007, at 6:51 AM, Cristian Baboi wrote:

On Thu, 27 Dec 2007 14:42:37 +0200, Bulat Ziganshin  
[EMAIL PROTECTED] wrote:



Hello Cristian,

Thursday, December 27, 2007, 12:19:08 PM, you wrote:

Yes, but one can store the result of an operation to disk except  
in the

particular case the result happen to be a function.



how can values of type T be saved to disk?


I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot be  
fulfiled if we cannot get the result of computations out of the  
computers.


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell is a  
formal notation for computation (completely unrelated to the Von  
Neuman machine sitting on your desk).  It can be implemented on Von  
Neuman machines, because they are still universal Turing machines,  
but it is /not/ a radical attack on the problem of programming  
peripherals!


jcc

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


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi
Good to know. I intended to use Haskell for algorithms, but it seems it is  
not so good at them.



On Thu, 27 Dec 2007 17:52:19 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:



On 27 Dec 2007, at 9:47 AM, Cristian Baboi wrote:





I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot be  
fulfiled if we cannot get the result of computations out of the  
computers.


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell is a  
formal notation for computation (completely unrelated to the Von  
Neuman machine sitting on your desk).  It can be implemented on Von  
Neuman machines, because they are still universal Turing machines,  
but it is /not/ a radical attack on the problem of programming  
peripherals!


I suppose it can run on pebbles.


Any language can be emulated on pebbles; unlike most languages,  
Haskell can be compiled directly to them.


jcc


I know, and in this case one doesn't need IO.
The result is a nice collection of asorted pebbles.


Which is why Haskell treats IO as a domain specific language.

jcc





 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi




I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot be  
fulfiled if we cannot get the result of computations out of the  
computers.


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell is a  
formal notation for computation (completely unrelated to the Von  
Neuman machine sitting on your desk).  It can be implemented on Von  
Neuman machines, because they are still universal Turing machines, but  
it is /not/ a radical attack on the problem of programming peripherals!


I suppose it can run on pebbles.


Any language can be emulated on pebbles; unlike most languages, Haskell  
can be compiled directly to them.


jcc


I know, and in this case one doesn't need IO.
The result is a nice collection of asorted pebbles.



 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Jonathan Cast

On 27 Dec 2007, at 9:41 AM, Cristian Baboi wrote:

On Thu, 27 Dec 2007 17:39:25 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:



On 27 Dec 2007, at 6:51 AM, Cristian Baboi wrote:

On Thu, 27 Dec 2007 14:42:37 +0200, Bulat Ziganshin  
[EMAIL PROTECTED] wrote:



Hello Cristian,

Thursday, December 27, 2007, 12:19:08 PM, you wrote:

Yes, but one can store the result of an operation to disk  
except in the

particular case the result happen to be a function.



how can values of type T be saved to disk?


I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot  
be fulfiled if we cannot get the result of computations out of  
the computers.


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell is  
a formal notation for computation (completely unrelated to the Von  
Neuman machine sitting on your desk).  It can be implemented on  
Von Neuman machines, because they are still universal Turing  
machines, but it is /not/ a radical attack on the problem of  
programming peripherals!


I suppose it can run on pebbles.


Any language can be emulated on pebbles; unlike most languages,  
Haskell can be compiled directly to them.


jcc


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


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi
On Thu, 27 Dec 2007 17:39:25 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:



On 27 Dec 2007, at 6:51 AM, Cristian Baboi wrote:

On Thu, 27 Dec 2007 14:42:37 +0200, Bulat Ziganshin  
[EMAIL PROTECTED] wrote:



Hello Cristian,

Thursday, December 27, 2007, 12:19:08 PM, you wrote:

Yes, but one can store the result of an operation to disk except in  
the

particular case the result happen to be a function.



how can values of type T be saved to disk?


I don't know. I'm a beginner in Haskell, and I down't know about T.
You mean they cannot ?
I was under the impression that the purpose of computers cannot be  
fulfiled if we cannot get the result of computations out of the  
computers.


Haskell is not a computer programming language; Haskell implementations  
are not required to run on computers.  Haskell is a formal notation for  
computation (completely unrelated to the Von Neuman machine sitting on  
your desk).  It can be implemented on Von Neuman machines, because they  
are still universal Turing machines, but it is /not/ a radical attack on  
the problem of programming peripherals!


I suppose it can run on pebbles.


 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Jonathan Cast

On 27 Dec 2007, at 9:47 AM, Cristian Baboi wrote:





I don't know. I'm a beginner in Haskell, and I down't know  
about T.

You mean they cannot ?
I was under the impression that the purpose of computers cannot  
be fulfiled if we cannot get the result of computations out of  
the computers.


Haskell is not a computer programming language; Haskell  
implementations are not required to run on computers.  Haskell  
is a formal notation for computation (completely unrelated to  
the Von Neuman machine sitting on your desk).  It can be  
implemented on Von Neuman machines, because they are still  
universal Turing machines, but it is /not/ a radical attack on  
the problem of programming peripherals!


I suppose it can run on pebbles.


Any language can be emulated on pebbles; unlike most languages,  
Haskell can be compiled directly to them.


jcc


I know, and in this case one doesn't need IO.
The result is a nice collection of asorted pebbles.


Which is why Haskell treats IO as a domain specific language.

jcc


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


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Jonathan Cast

On 27 Dec 2007, at 9:57 AM, Cristian Baboi wrote:

Good to know. I intended to use Haskell for algorithms, but it  
seems it is not so good at them.


Very sad.  The entire point of Haskell is that it allows the user to  
transcend the algorithm as a way of expressing computations.


I hope someday you may understand Haskell, rather than just  
criticizing it.


jcc

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


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi
On Thu, 27 Dec 2007 18:45:23 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:



On 27 Dec 2007, at 9:57 AM, Cristian Baboi wrote:

Good to know. I intended to use Haskell for algorithms, but it seems it  
is not so good at them.


Very sad.  The entire point of Haskell is that it allows the user to  
transcend the algorithm as a way of expressing computations.


I hope someday you may understand Haskell, rather than just criticizing  
it.


I'm begining to understand it. Criticizing it's just a tehnique to allow  
me to understand it better.


This is what I understood:

- there is no distinction of data from functions. This seem more like a  
matter of definiton: what I call X, the X + Y or just X.


- functions can be manipulated the same way as data. This does not sound  
right.


- functions can be manipulated as easy as data. This seems better.

- functional programming is declarative. One may take a picture of all  
those pebbles, but their arrangemant does not make sense to him because no  
part of it resemble the original description.


- one cannot print things that cannot be traversed in a sequential way

The last two seems to be in contradiction.







 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Re[2]: [Haskell-cafe] Wikipedia on first-class object

2007-12-27 Thread Cristian Baboi
On Thu, 27 Dec 2007 17:39:25 +0200, Jonathan Cast  
[EMAIL PROTECTED] wrote:


Haskell is not a computer programming language; Haskell implementations  
are not required to run on computers.  Haskell is a formal notation for  
computation (completely unrelated to the Von Neuman machine sitting on  
your desk).  It can be implemented on Von Neuman machines, because they  
are still universal Turing machines, but it is /not/ a radical attack on  
the problem of programming peripherals!


How do you call that thing that implement Haskell ?




 Information from NOD32 
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
 part000.txt - is OK
http://www.eset.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe