[posting on behalf of John Reppy [EMAIL PROTECTED]]
==
International Conference on Functional Programming
(ICFP 2006)
Call for Papers
Benjamin Franksen wrote:
I just wanted to check the precedence of the (.) operator from Prelude
(http://www.haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html)
and noticed with shock ;) that neither precedence levels nor fixity are
documented. Is this a known limitation of haddock?
John Meacham wrote:
So, I finally decided that jhc needs real arrays, but am running into an
issue and was wondering how other compilers solve it, or if there is a
general accepted way to do so.
here is what I have so far
-- The opaque internal array type
data Array__ a
-- the array
Haskell community,
As many of you are aware, Edison is a venerable library of data
structures written in Haskell, primarily by Chris Okasaki. I have
though for some time that it is a great shame that Edison has been
languishing in disuse. It has always seemed to me to be high quality
Hello,
On 2/19/06, Johannes Waldmann [EMAIL PROTECTED] wrote:
... unless you export everything, you are forced to list all exports
explicitly, so there's no way to tell it just the few things you're
hiding (though that should not be a difficult extension).
Alternative suggestion:
remove
Sorry for replying to myselfHaskell community,As many of you are aware, Edison is a venerable library of data structures written in Haskell, primarily by Chris Okasaki. I have though for some time that it is a great shame that Edison has been languishing in disuse. It has always seemed to me
G'day all.
Quoting Robert Dockins [EMAIL PROTECTED]:
Although I am not a data structures expert, several weeks ago I
decided that I would try my hand at maintaining Edison and see if I
could overcome these barriers. Toward this end I have taken the most
recent Edison codebase I could find
G'day again.
Quoting Robert Dockins [EMAIL PROTECTED]:
There are a number of methods which take a monad context and call
'fail' (rather than error) under some conditions, usually when the
data structure is empty
[...]
I am considering moving to a MonadPlus context and calling 'mzero' in
John Meacham wrote:
ST doesn't have exceptions which IO does. It would be no good to make ST
pay for the cost of exception handling. GHC handles them behind the
scenes (I think?) but in jhc they are explicit and IO is defined as
follows:
data World__
data IOResult a = FailIO World__ IOError |
On Feb 20, 2006, at 5:19 PM, [EMAIL PROTECTED] wrote:
G'day all.
Quoting Robert Dockins [EMAIL PROTECTED]:
Although I am not a data structures expert, several weeks ago I
decided that I would try my hand at maintaining Edison and see if I
could overcome these barriers. Toward this end I
Hello,
I just renamed several wiki pages. One reason for this renaming was the
inconsistent capitalization of page titles. The thread starting with
http://www.haskell.org//pipermail/haskell/2006-January/017485.html contains
some background of this renaming.
I think that a consistent and
On Mon, Feb 20, 2006 at 04:22:19PM -0500, Robert Dockins wrote:
Sorry for replying to myself
There are a number of methods which take a monad context and call
'fail' (rather than error) under some conditions, usually when the
data structure is empty, e.g.
lview :: Monad m = s a - m
On Mon, Feb 20, 2006 at 05:29:16PM -0500, [EMAIL PROTECTED] wrote:
The problem with MonadPlus is that you don't actually need the Plus
functionality. It is usually considered good design to only require
what you need, and Monad already has fail.
There has been some discussion on
Hello,
On 2/20/06, John Meacham [EMAIL PROTECTED] wrote:
I think the problem is that 'mzero' exists, the correct solution seems
to be to get rid of the 'mzero' method of MonadPlus. Since haskell is
lazy, all Monads have at least the zero of _|_ which can be overriden by
'fail' with a more
On Mon, Feb 20, 2006 at 05:10:02PM -0800, Iavor Diatchki wrote:
On 2/20/06, John Meacham [EMAIL PROTECTED] wrote:
I think the problem is that 'mzero' exists, the correct solution seems
to be to get rid of the 'mzero' method of MonadPlus. Since haskell is
lazy, all Monads have at least the
After reading all the interesting responses I decided to go with a
slight generalization of my original idea, and it surprisingly turns out
to have other generally useful unintended uses, which is the point that a 'hack'
becomes a 'feature'. :)
before I had a primitive:
newWorld__ :: a - World__
On 20/02/06, Iavor Diatchki [EMAIL PROTECTED] wrote:
Hello,
On 2/20/06, John Meacham [EMAIL PROTECTED] wrote:
I think the problem is that 'mzero' exists, the correct solution seems
to be to get rid of the 'mzero' method of MonadPlus. Since haskell is
lazy, all Monads have at least the
G'day all.
Quoting Cale Gibbard [EMAIL PROTECTED]:
One thing which I found odd about the NotJustMaybe pattern is that not
much is really gained apart from a small amount of convenience.
That's not the whole truth. It buys you abstraction, in that the library
function can signal an error
[EMAIL PROTECTED] writes:
G'day all.
Quoting Robert Dockins [EMAIL PROTECTED]:
-- The Sequence 'rcons' method takes its arguments in the opposite
order as the 'lcons' method (for mnemonic purposes). Should the
arguments to 'rcons' be reversed?
The argument is that they both take
Iavor Diatchki wrote:
remove export lists, introduce public/private modifiers
And it nicely deals with re-exporting imported entities: public
imports get reexported, private ones don't.
note though that the public/private thing in Java
also refers to the package concept, which is missing
Robert Dockins [EMAIL PROTECTED] wrote:
Consistency. Almost all the other API functions take the data
structure argument last. This seems to be a kind of de facto
standard and deviations from it are likely to cause confusion.
I'd always assumed that the reason that data structure
#701: Better CSE optimisation
-+--
Reporter: simonmar |Owner:
Type: task | Status: new
Priority: normal|Milestone:
Bruno Martínez wrote:
When using ghci with rxvt under cygwin, the command history doesn't
work. When I press the up arrow, for example, the cursor moves up,
instead of showing the previous command. xterm has the same problem,
but with cygwin's default console it works.
I don't know where
#696: segmentation fault in ./genprimopcode (x86_64)
-+--
Reporter: taral | Owner: simonmar
Type: bug | Status: new
Priority: normal |
#697: Bad assembler generated
-+--
Reporter: taral | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
#698: GHC's internal memory allocator never releases memory back to the OS
-+--
Reporter: guest | Owner:
Type: bug | Status: new
Priority: low |
#698: GHC's internal memory allocator never releases memory back to the OS
---+
Reporter: guest | Owner:
Type: bug | Status: new
Priority: low
#699: GHCi doesn't implement foreign import on amd64 when interpreting.
---+
Reporter: guest | Owner: simonmar
Type: bug | Status: new
Priority: normal
Ian Lynagh wrote:
It looks like the make problem is not going to be fixed in the next
release of make (and the current release only works because of a bug):
https://savannah.gnu.org/bugs/?func=detailitemitem_id=15584
I'm afraid I haven't followed carefully enough to know what the problem
is
#700: Inconsistent typechecking of pattern match in function binding
---+
Reporter: guest | Owner:
Type: bug | Status: new
Priority: lowest| Milestone:
Marcin 'Qrczak' Kowalczyk wrote:
John Meacham [EMAIL PROTECTED] writes:
Another possibility is quasi-utf8 encoding. where it passes through any
invalid utf8 sequences as latin1 characters. in practice, this works
very well as interpreting both latin1 and utf8 transparently but is
more than
On 12 February 2006 22:43, Claus Reinke wrote:
[an innocent question on ghc-users just reminded me of another
missed opportunity in previous Haskell definitions: by chosing to
ignore the very idea of implementations, they have left tool
implementors in a limbo.]
these days, there is
With help from Martin Sulzmann and Ross Paterson, GHC (HEAD) now
implements a richer form of functional dependencies than Mark Jones's
version, but still decidable etc. The rules for what must appear in the
context of an instance declaration are also relaxed.
The specification is here:
| (*) a standard haskell' api providing the commands of ghci/hugs
| style interactive systems would be a start, together with an
| annotated AST, parser/typer/pretty printer. more detailed
| specifications could be left for future revisions.
A reasonable suggestion, but I'm unsure
Dear all,
Claus Reinke wrote:
what I have in mind are things to come, which would be quite
different from the initial steps we could reasonably expect Haskell'
to take. initially, a separate libary may be an acceptable start; but
ultimately, I don't want two separate Haskell implementations
I am not sure if this has been mentioned before, but something I
would really find useful is the ability to tell Haskell to export
everything in a function except for some named functions.
No one has responded so I thought I would make a suggestion about what
the syntax might look like to do
Jared,
How about combining the two (since 'hiding' is already a reserved
word):
module Module hiding ( list, of, things, not, to, export ) where
Everything gets exported except what you explicitly hide. Is this
general enough? Are there reasons why this might not work? And does
on this note, I thought it would be nice to do a 'mostly unqualified'
import.
import Foo qualified(foo,bar)
which will have the effect of
import Foo hiding(foo,bar)
import qualified Foo(foo,bar)
since usually you can import a whole module unqualified except for a few
troublemakers.
On Fri, Feb 17, 2006 at 01:45:27AM +0200, Einar Karttunen wrote:
I would like to propose two pragmas to be included in Haskell'
for use with FFI. One for specifying the include file defining
the foreign import (INCLUDE in ghc) and an another for defining
a library that the foreign import
I finally got some time to answer Simon's posting:
Simon P-J:
| Between google searching and looking through the activity
| report, I take it that no one has really developed serious
| libraries for matrix manipulations, diff eqs, etc.
|
| Are there any practical reasons for this or is it just a
Strangely, Hoogle isn't easy to find at haskell.org. I'm not sure where
the best place to add a link would be: perhaps near the top of the
libraries-and-tools page? It's all wikified now, so would someone like
to add it somewhere appropriate?
Simon
| -Original Message-
| From: [EMAIL
Am Freitag, 17. Februar 2006 03:34 schrieb Sean Seefried:
Hey all,
If you're interested in an implementation of constructor classes
(type classes which can take constructors as arguments; already
implemented in Haskell) please see:
http://www.cse.unsw.edu.au/~sseefried/code.html
This
On Mon, Feb 20, 2006 at 11:47:49AM +0100, Bjorn Lisper wrote:
(a) It's hard to compete with existing libraries. The obvious thing is
not to compete; instead, just call them. But somehow that doesn't seem
to be as motivating. Perhaps some bindings exist though?
Hard to compete, yes. But on
David Roundy:
On Mon, Feb 20, 2006 at 11:47:49AM +0100, Bjorn Lisper wrote:
(a) It's hard to compete with existing libraries. The obvious thing is
not to compete; instead, just call them. But somehow that doesn't seem
to be as motivating. Perhaps some bindings exist though?
Hard to
On Wed, 15 Feb 2006, Marc Weber wrote:
Is there a way to use haskell as scripting language in
a) your own project?
b) other projects such as vim (beeing written in C)?
For German readers, I put an example of a scripting task on that Wiki:
On Thu, 16 Feb 2006, Matthias Fischmann wrote:
I wrote a module for sampling arbitrary probability distribution, so
far including normal (gaussian) and uniform.
http://www.wiwi.hu-berlin.de/~fis/code/
For those who need something like this: feel free to take it, it's BSD.
For those who
Hello
Using system or any variant of it from System.Process
seems broken in multithreaded environments. This
example will fail with and without -threaded.
When run the program will print hello: start and
then freeze. After pressing enter (the first getChar)
System.Cmd.system will complete, but
Lennart Augustsson wrote:
But speaking of HaXml bugs, I'm pretty sure HaXml doesn't handle
% correctly. It seem to treat % specially everywhere, but I think
it is only special inside DTDs. I have many XML files produced by
other tools that the HaXml parser fails to process because of this.
Malcolm Wallace wrote:
Lennart Augustsson wrote:
But speaking of HaXml bugs, I'm pretty sure HaXml doesn't handle
% correctly. It seem to treat % specially everywhere, but I think
it is only special inside DTDs. I have many XML files produced by
other tools that the HaXml parser fails to
Here is a version that works fine:
myRawSystem cmd args = do
(inP, outP, errP, pid) - runInteractiveProcess cmd args Nothing Nothing
hClose inP
os - pGetContents outP
es - pGetContents errP
ec - waitForProcess pid
case ec of
ExitSuccess - return ()
Graham Klyne [EMAIL PROTECTED] wrote:
Did you come across the HaXml test harness I created based on a subset
of W3C conformance tests?
http://www.ninebynine.org/Software/HaskellUtils/HaXml-1.12/test/
This covers all the parameter entity problems I fixed some time ago.
Indeed, and an
| Googling around I've found that there exists the -mno-cygwin flag
which
| you can use to not include this lib.. So would it might be possible to
| get a ghc build not using cygwin.dll with just cygwin ?
I don't know. It sounds plausible. But we only have enough resource to
maintain one route
Hi,
haskell admits many programming styles and I find it important that
several developers of a prject agree on a certain style to ease code review.
I've set up guidelines (still as plain text) for our (hets) project in
On Mon, 20 Feb 2006, Christian Maeder wrote:
I've set up guidelines (still as plain text) for our (hets) project in
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/HetCATS/docs/Programming-Guidelines.txt
It seems we share the preference
On Feb 20, 2006, at 12:48 PM, Christian Maeder wrote:
Hi,
haskell admits many programming styles and I find it important that
several developers of a prject agree on a certain style to ease
code review.
I've set up guidelines (still as plain text) for our (hets) project in
On Feb 20, 2006, at 2:26 PM, Henning Thielemann wrote:
On Mon, 20 Feb 2006, Robert Dockins wrote:
I personally disagree with your preference for custom datatypes
with a value representing failure to lifting types with Maybe.
I understood that part of the guidelines as a pleading for Maybe.
I'm also using GHC 6.4.1 and rxvt v2.7.10. The problem does occur in
compiled code, but everything is OK in ghci!
hFlush stdout did solve the problem, as expected.
I've just started using rxvt. If you have tips on how to make ghci
work well with rxvt, please share them with me (for
maeder:
Hi,
haskell admits many programming styles and I find it important that
several developers of a prject agree on a certain style to ease code review.
I've set up guidelines (still as plain text) for our (hets) project in
Perhas you'd like to put up a Style page on thew new Haskell
On Thu, Feb 16, 2006 at 11:28:08PM +, Malcolm Wallace wrote:
Essentially, rather than having an indication of success/failure in the
type system, using the Maybe or Either types, you are asking to return
the typed value itself, with no wrapper, but perhaps some hidden bottoms
buried
There is a more straightforward way to get localized error messages
rather than using 'maybe' and hand-writing an appropriate error, and
that is to rely on irrefutable bindings.
f x = ... y ... where
Just y = Map.lookup x theMap
now if the lookup fails you automatically get an error
vim7 has introduced omni-completion... So I'm interested wether there
are any projects which support any kind of completion.?
I have been working on some code completion support for EclipseFP. It
is right now in a really infant stage, but it at least is something.
Just take a look at the
Stefan Wehr writes:
Martin Sulzmann [EMAIL PROTECTED] wrote::
Stefan Wehr writes:
[...]
Manuel (Chakravarty) and I agree that it should be possible to
constrain associated type synonyms in the context of class
definitions. Your example shows that this feature is actually
Unfortunately, I don't know how to make the arrow keys work in rxvt. I'm not the
right person to ask about such things...
I don't think it's possible (unless GHC is built for Cygwin, or something).
Does anybody else know?
I use an alias
alias ghciW='cmd /c start ghci'
That way I can start
63 matches
Mail list logo
