Tim,
I am aware that it is not an assignment, but rather a binding to a value.
However, my intent is to model a system that has both declarative and
imperative constructs, then build it in another language. If I can use :=, I
can make it look more like the final system, which is good for
demonstrations to those who know nothing about functional programming, and
in fact don't even know that lambda calculus exists. Furthermore, they have
no desire to know, because they believe that Microsoft tools make the world
go around.
I know, I know, it sucks, but hey, I have to eat. At least they don't care
how I build my prototypes, which means Haskel, and Eiffel.
Thanks for the help.
Mike
-----Original Message-----
From: Thimble Smith [mailto:[EMAIL PROTECTED]]
Sent: Friday, April 28, 2000 7:26 PM
To: Mike Jones
Cc: [EMAIL PROTECTED]
Subject: Re: Changing <- to :=
On Fri, Apr 28, 2000 at 07:08:22PM -0700, Mike Jones wrote:
> Is there a way to define (:=) to be (<-) in the context of a do?
> The goal is to make the language look Pascal like for those who will use
it.
I'd say that goal is ill-concieved. If you are trying to help
people learn functional programming, then this will only confuse
them. <- in Haskell does not work the same as := in Pascal. It
is not assignment in the Pascal sense, and it's no good to make
people think that it is.
Tim
