On 02-Jun-2000, Ketil Malde <[EMAIL PROTECTED]> wrote:
> Fergus Henderson <[EMAIL PROTECTED]> writes:
>
> > An interactive command line tool and a programming language intended
> > for writing non-trivial applications have very different requirements.
> > For the former, brevity may well be more
Hi,
We are trying to determine how important it is to have polymorphic
let-bindings in the do-expression. Just to review, a do-expression
might have let-bindings of the form:
do let p = e
e'
which is translated as:
let p = e
in do e'
Hence, the variables bound in the pattern p are
Fergus Henderson <[EMAIL PROTECTED]> writes:
> An interactive command line tool and a programming language intended
> for writing non-trivial applications have very different requirements.
> For the former, brevity may well be more important than readability,
> but for the latter it is definitely
Jan Skibinski <[EMAIL PROTECTED]> writes:
> I watch in amusement how my name is glued to someone
> else's prose. I mildly protest :-)
Hah! You question a certain OS, you should expect your comments to
get snipped! Servers you right, it does. :-)
-kzm
--
If I haven't seen further
An interesting example. The message that GHC produces if you leave
the type signature in is:
Cls.hs:13:
Ambiguous type variable(s) `a' in the constraint `X a'
arising from use of `h' at Cls.hs:13
In the first argument of `g', namely `(h b)'
In the first argument of `f', namely `(
--
THE UNIVERSITY OF NOTTINGHAM
School of Computer Science and Information Technology
Four lectureships
Applications are invited for the above posts in a rapidly expan
After two days of polishing the stuff I am pleased
to announce availability of the module Momenta:
www.numeric-quest.com/haskell/Momenta.html
Those who already downloaded the unofficial version
are adviced to get the new one. It is cleaner and
On 02-Jun-2000, S.D.Mechveliani <[EMAIL PROTECTED]> wrote:
> Ketil Malde <[EMAIL PROTECTED]> writes
>
> > I could accept "mode flags" if the algorithm is extremely similar,
> > e.g. passing a comparator function to a sort is a kind of mode flag
> > (think ordered/reversed) which I think is perfec
On 01-Jun-2000, Ketil Malde <[EMAIL PROTECTED]> wrote:
> Jan Skibinski <[EMAIL PROTECTED]> writes:
> > For tar_x, tar_xv, tar_v kind of things people
> > invented objects, recognizing that "tar -x"
> > approach is not a user friendly technology.
>
> Oh? You realize there are Unix we
On 01-Jun-2000, Ketil Malde <[EMAIL PROTECTED]> wrote:
> Fergus Henderson <[EMAIL PROTECTED]> writes:
>
> >> Again, `Positive' would not do, it should be something like
> >> QuotRem_Positive, and so on.
>
> > This is a problem with Haskell, IMHO.
>
> > Mercury allows overloading of constructo
Just a remark on:
Jan Skibinski begin to put finally this down:
> Here is our first attempt to model the abstract Dirac's
> formalism of Quantum Mechanics in Haskell.
> www.numeric-quest.com/haskell/QuantumVector.html
.
> The base vectors are abstract: on on
11 matches
Mail list logo
