From: "S. Alexander Jacobson" [EMAIL PROTECTED]
Subject: Re: what is leaking?
Date: Fri, 26 Jun 1998 16:38:12 -0400 ()
Wow! If Ralf is right, then foldl in a lazy language always generates a
space leak and should be avoided in favor of strictFoldl.
However, I still am not clear why
"Jorgen" == Jorgen Frojk Kjaersgaard [EMAIL PROTECTED] writes:
Jorgen It seems that many prominent Haskell people are more or less associated
Jorgen with Microsoft. It has just been announced that Hugs may go into
Jorgen Microsoft Developers Studio and Simon Peyton-Jones is about to move to
"Simon" == Simon L Peyton Jones [EMAIL PROTECTED] writes:
Simon L Peyton Jones wrote:
So far as GHC is concerned, I wrote on this list a month ago:
"More specifically, I plan to continue beavering away on GHC.
GHC is public domain software, and Microsoft are happy for it to
remain so,
"Colin" == Colin Runciman [EMAIL PROTECTED] writes:
Colin * the name!
Colin Names including a date, like Haskell 98, or a specific use,
Colin like Teaching Haskell, could mislead. Standard Haskell 1 is
Colin rather long (and ambiguous). The reasons why Haskell 1.5
Colin suggests
"Simon" == Simon Marlow [EMAIL PROTECTED] writes:
Simon The Glasgow Haskell Compiler -- version 4.01
Simon ==
[...]
Simon + What's new
Simon =
Simon GHC 4.01 is a small increment over 4.00. Many bugs have been fixed.
Simon
"Martin" == Martin Erwig [EMAIL PROTECTED] writes:
Martin I am wondering what is the best way (in terms of
Martin easy-to-use and easy-to-install) to use a parser
Martin for Haskell in Hugs. As far as I know the parsers
Martin by Sven Panne and Manuel Chakravarty require ghc.
There is also
Carl,
"Carl" == Carl R Witty [EMAIL PROTECTED] writes:
Carl Paul Hudak [EMAIL PROTECTED] writes:
One alternative is to use labelled fields. In your example, if Html
were an algebraic datatype such as:
data Html = Type1 { align = Align, ... }
| Type2 { align = Align, ... }
"Marko" == Marko Schuetz [EMAIL PROTECTED] writes:
"Andy" == Andy Gill [EMAIL PROTECTED] writes:
Andy instance (HTML a) = HTML ([HtmlAttr] - a) where
Andy html f = html (f [])
Marko Wouldn't
instance (HTML b, MonadPlus a) = HTML (a - b) where
html f = html (f mzero)
M
I have something similar to
class (Eq a) = Substitutable a where
match :: a - a - Maybe (Substitution a)
applySubst :: Substitution a - a - a
and two Types Type1, Type2, both of which are instances of class
Substitutable. In some places there is a sigma :: Substitution Type1
(or a phi ::
"Mark" == Mark P Jones [EMAIL PROTECTED] writes:
Mark One of the greatest disappointments to date of the move
Mark to more liberal (i.e. free software) licenses for systems
Mark like Hugs and GHC, is that it has done almost nothing to
Mark stimulate contributions to the implementations
"felix" == felix [EMAIL PROTECTED] writes:
Felix,
felix HI, there!
felix I have a little problem with the "getArgs" function in Hugs/GHC.
felix Something like
import System
main = do argv - getArgs
print argv
felix prints "[]" (the empty list) and not the list of arguments.
"xander" == xander [EMAIL PROTECTED] writes:
xander is there an opposite (:) available in haskell?
xander like, i can toss an element at the back of a list without
xander O(n) fuss recursing bla??
xander The (:) operator is internally, isn't it? So why not make life easier
xander and create
"Will" == Will Partain [EMAIL PROTECTED] writes:
Will Marko Schuetz [EMAIL PROTECTED] writes:
... It has taken the Haskell community quite some time to
switch to liberal licenses. IIRC only Hugs used to come
with a license at all, neither hbc, ghc nor nhc used to
have one for
"Simon" == Simon Peyton-Jones [EMAIL PROTECTED] writes:
One possible solution would be a Wiki (formerly WikiWiki) site.
This was also mentioned some time ago, but, again, no-one
seemed to know how to go about doing it.
Simon It would be great to have a Haskell Wiki. As I understand it,
"xander" == xander [EMAIL PROTECTED] writes:
xander Hi again,
xander With our new knowledge of snoc (thanks!) we try to build ourself one
xander operator:
xander (*) :: [a] - a - [a]
xander xs * x = xs ++ [x]
xander But, why can't I do something like this:
xander prev (ListElem
A student asked me why the following happens. In explaining I thought
that it may be easy to avoid the observed behavior.
In hugs98, when you input
paired f (x,y) = (f x, f y)
pair x = (x,x)
test1 = paired f $ pair 42
where f x = length [1..1]
test2 = paired (\x - y) $ pair 42
I'd like to redirect stdout and stderr to a file from a haskell
program, i.e. I'd like to bracket an IO action with output to stdout
with redirecting stdout to a file before the action and redirecting it
back at where it was after that action.
I've taken a look at Hsh, but it uses Posix which
for not following the path set when importing?
Mime-Version: 1.0 (generated by tm-edit 7.106)
Content-Type: text/plain; charset=NIL
From: Marko Schuetz [EMAIL PROTECTED]
Date: 07 Jul 1999 22:32:54 +0200
Message-ID: [EMAIL PROTECTED]
Ok, I think this behavior is a bug (or I cannot see it's motivation):
I have
Pros, cons, opinions invited at
http://kind.ki.informatik.uni-frankfurt.de/cgi-bin/wiki?IntegratingHaskellWikiInHaskellOrg
Marko
--
Marko Schütz[EMAIL PROTECTED]
http://www.ki.informatik.uni-frankfurt.de/~marko/
"Jonathan" == Jonathan King [EMAIL PROTECTED] writes:
Jonathan On Thu, 23 Sep 1999, Manuel M. T. Chakravarty wrote:
[EMAIL PROTECTED] (Marcin 'Qrczak' Kowalczyk) wrote,
S.D.Mechveliani [EMAIL PROTECTED] pisze:
So far, no clear progrm example appeared in this list to demonstrate
This is a repost of an earlier post from before there was an explicit
wishlist so it might make it onto the wishlist.
The idea was inspired by OBJs syntax. Something similar is also
available in Isabelle.
I always liked the possibility to declare infix operators, may we
extend this to mixfix?
"Fergus" == Fergus Henderson [EMAIL PROTECTED] writes:
Fergus On 28-Sep-1999, Paul Hudak [EMAIL PROTECTED] wrote:
Haskell's () only models the logical AND when it is passed booleans.
To say that _|_ is a Haskell Boolean, is to create another concept
domain (Haskell Boolean), which shares
"Manuel" == Manuel M T Chakravarty [EMAIL PROTECTED] writes:
[...]
Manuel What do you think?
I'll use the opportunity to advocate wiki usage.
While I agree that it seems time to have multiple lists, some of the
recent high volume threads could have used the wiki to collect,
discuss and then
"Antti-Juhani" == Antti-Juhani Kaijanaho [EMAIL PROTECTED] writes:
Antti-Juhani On Mon, Nov 29, 1999 at 03:06:07PM +0100, Marko Schuetz wrote:
This was part of the quoted LICENSE file:
--- begin quote ---
For those who do not like to read legalese this is a standard
BSD licens
From: [EMAIL PROTECTED] (S.D.Mechveliani)
Subject: do not write compiler in C
Date: Fri, 14 Jan 2000 09:52:17 +0300 (MSK)
One could reply:
"We cannot think now of such a clever compiler. It is not real."
First, I think, this example with the sorting will become real soon.
Matthias Mann
The haskell wiki needs fixing. Unfortunately, I currently cannot
afford the time to investigate and fix the problem described below.
Hopefully, someone volunteers as a maintainer of the wiki. Otherwise I
would suggest to temporarily disable it.
The haskell wiki has repeatedly had problems. To
Antony,
at the given URI it says JDK 1.4 is required, do you know that there
will be problems with 1.3 or is it expected to work with 1.3 also and
just not tested?
Thanks for your help
Marko
___
Haskell mailing list
[EMAIL PROTECTED]
Konst,
From: Konst Sushenko [EMAIL PROTECTED]
Subject: free variables in lambda terms ?
Date: Thu, 25 Apr 2002 20:07:01 -0700
hi, would someone please help me with the question below? i tried asking
on comp.lang.functional list but noone responded...
konsu [EMAIL PROTECTED] wrote in
ghc-3.01 complains about a syntax error in the following cut down
program:
module Fehler where
data Constr
= (:-:) { expr :: LambdaCExpr, context :: ContextTerm }
kinetic% ghc Fehler.hs
Fehler.hs:4:12: parse error on input: "{"
Hugs 1.4 accepts the module and seems to do what was
From: Simon Marlow [EMAIL PROTECTED]
Subject: RE: openFile, process file table full
Date: Mon, 11 Sep 2000 02:10:59 -0700
The following program:
module Main(main) where
main:: IO()
main = do {
xs - mapM readFile (take 1000 (repeat "tmp"));
return ();
}
From: Jan-Willem Maessen [EMAIL PROTECTED]
Subject: Re: 'any' and 'all' compared with the rest of the Report
Date: Fri, 26 Jan 2001 12:26:17 -0500
Marko Schuetz [EMAIL PROTECTED] starts an explanation of bottom
vs. error with an assumption which I think is dangerous:
Assuming we want
31 matches
Mail list logo
