Dylan Thurston cites :
> > ... if we [...] want an
> > adapted functional language, either we will have to wait quite long,
> > or perhaps it is the time to invent another language, with a more
> > dynamic type system, with intrinsic graphic utilities, and other
> > goodies.
>
> For myself, I do
On Wed, 16 May 2001, Simon Marlow wrote:
> > Besides, MArray.lhs uses ST and ST requires not only
> > multiparameter type
> > classes, but also explicit universal quantification.
>
> ST doesn't require multiparameter type classes (although MArray does).
You're of course right.
> It also doesn
| | When you say there's a good theoretical foundation (typed lambda
| | calcului) I think you are imagining that when we say
| |
| | f (x::a) = e
| |
| | we are saying "There's a /\a as well as a \x::a in this definition".
|
| No, that's not what I'm thinking.
OK, let me try to give some
| Despite my extremely deep respect for all people contributing
| to Haskell, despite my love for the language etc. I begin to
| suspect that it has been standardized too early, and if we
| (Sergey, other people interested in math,
| as Dylan Thurston, myself, etc., as well as people who want
On 16-May-2001, Steinitz, Dominic J <[EMAIL PROTECTED]> wrote:
> Can someone explain the following behaviour? Or is it a bug in hugs?
It looks to me very much like it is a bug in Hugs.
ghc 4.04 does not suffer from this bug.
It's easy to make mistakes like this, which can often arise from forge
On Wed, 16 May 2001, Stefan Karrmann wrote:
> On Tue, May 15, 2001 at 09:14:02PM +0300, Dylan Thurston wrote:
> > On Tue, May 15, 2001 at 06:33:41PM +0200, Jerzy Karczmarczuk wrote:
> > > Serge Mechveliani :
> > > > ...
> > > > The matter was always in parametric domains ...
> > > > Whoever tried
Hello,
>Can someone explain the following behaviour? Or is it a bug in hugs?
I can not explain it. Rather strange is that even this is allowed:
(fromIntegral (toInteger (minBound::Int) + 1) -1) :: Int
yielding
-2147483648
> > (fromIntegral(toInteger(minBound::Int))::Int)
>
>Program error: {prim
Can someone explain the following behaviour? Or is it a bug in hugs?
X690v5> (fromIntegral(toInteger(minBound::Int))::Int)
Program error: {primIntegerToInt (-2147483648)}
(15 reductions, 70 cells)
X690v5> (fromIntegral(toInteger((minBound::Int)+1))::Int)
-2147483647
(21 reductions, 29 cells)
X
I am looking for book reviewers for the Journal of Functional
Programming. Book reviews provide a service to the functional
programming community by critically appraising many of the key
books coming out in the field.
If you are interested in becoming a reviewer, please send me an
email with
>
> I don't like the idea of a program working which compiles only under
> compilers which have certain language extensions built in.
>
> If I understand things correctly, there is a list of language
> extensions
> (FFI for example), which has been accepted by all Haskell
> compilers develop
At 2001-05-16 00:18, Wojciech Moczydlowski, Jr wrote:
>> I think multiparameter type classes or other extensions to Haskell 98 are
>> really needed to solve these kinds of problems in a simple and elegant way.
>>
>> The right solution, IMHO, is to extend nhc and other Haskell compilers
>> to sup
Due to various requests, the DEADLINE FOR SUBMISSIONS to
WFLP 2001
International Workshop on Functional and (Constraint) Logic Programming
Kiel, Germany, September 13-15, 2001
http://www.informatik.uni-kiel.de/~wflp2001
has been EXTENDED
On Wed, 16 May 2001, Fergus Henderson wrote:
> On 15-May-2001, Wojciech Moczydlowski, Jr <[EMAIL PROTECTED]> wrote:
> > On 15 May 2001, Marcin 'Qrczak' Kowalczyk wrote:
> > > What should be improved compared to existing STUArray Int Double
> > > and similar?
> >
> > A simple standard proposal, n
13 matches
Mail list logo
