#2953: deriving Functor, Foldable, Traversable
--+-
Reporter: twanvl| Owner: twanvl
Type: feature request | Status: new
Priority: normal|
#2953: deriving Functor, Foldable, Traversable
--+-
Reporter: twanvl| Owner: igloo
Type: feature request | Status: new
Priority: normal|
#1377: GHCi debugger tasks
-+--
Reporter: simonmar |Owner:
Type: task | Status: new
Priority: normal|Milestone: 6.10
Worked for me this time. Thanks!
On Wed, Jan 14, 2009 at 2:29 PM, Ian Lynagh ig...@earth.li wrote:
On Sun, Jan 11, 2009 at 09:42:22AM -0800, Conal Elliott wrote:
Thanks, Ian. That tweak helped. Now make succeeds, but sudo make
install dies, as shown below. - Conal
#2962: Reduce space usage of genericLength for common Num instances
--+-
Reporter: thorkilnaur | Owner: thorkilnaur
Type: bug | Status: new
Priority: normal
I've been looking at uvector and had some questions (hopefully this is the
right mailing list for this, if not, sorry, and please direct me properly).
First, is there any design thing deeper than just supporting things like the
unit and pair arrays for layering UArr on top of the underlying
Hi,
Does some one know how to define gunfold on recursive data struction like List?
The ghc doc only give the example for non-recursive data like below.
data T a b = C1 a b | C2 deriving (Typeable, Data)
GHC will generate an instance that is equivalent to
instance (Data a, Data b) = Data (T
Hi there,
There's no difference. See
http://hackage.haskell.org/packages/archive/base/4.0.0.0/doc/html/src/Data-Data.html#line-1034
You can also see many other instances there.
Cheers,
Pedro
On Sun, Jan 18, 2009 at 10:50, haihualin haihua...@163.com wrote:
Hi,
Does some one know how to
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2009
25th International Conference on Logic Programming
Pasadena, California, USA
July 14-17, 2009
Turbinado (http://www.turbinado.com) is an easy to use
Model-View-Controller-ish web framework for Haskell.
The source for the framework can be found at:
http://github.com/alsonkemp/turbinado
The source for the website turbinado.org can be found at:
--
From: Alson Kemp al...@alsonkemp.com
Sent: Sunday, January 18, 2009 6:06 PM
To: haskell@haskell.org
Subject: [Haskell] ANNOUNCE: Turbinado V0.4
Turbinado (http://www.turbinado.com) is an easy to use
Model-View-Controller-ish web framework for
Turbinado (http://www.turbinado.com) is an easy to use
Oops. That should be !! http://www.turbinado.org. !!
- Alson
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
On Sat, 17 Jan 2009 20:47:39 -0800, Ashley Yakeley
ash...@semantic.org wrote:
There has been a lot of spam on HaskellWiki. Since anonymous edits have
been switched off, a spammer tactic has been to create hundreds of
accounts to evade individual account blocks.
To combat this, I have
1.
Hi,
a new version 'curl', a complete Haskell binding to the libcurl API,
is now available and have been uploaded to Hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/curl
Git repo at git://code.galois.com/curl.git
Appended is the list of changes since the previous release.
On Sun, 18 Jan 2009 08:51:10 +0100
david48 dav.vire+hask...@gmail.com wrote:
On Sat, Jan 17, 2009 at 11:19 PM, Dan Piponi dpip...@gmail.com
wrote:
On Sat, Jan 17, 2009 at 1:47 AM, david48
dav.vire+hask...@gmail.com wrote:
why would I
need to write a running count this way instead of,
Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of view, how is
this useful for programming purposes?
Surely, you agree that liftM is useful? Because that's the same thing.
John Lato wrote:
Here is the current complete documentation for Data.Monoid 'mappend',
which happens to be a good example of which I speak:
An associative operation
That could mean anything. There are lots of associative operations.
Yes. In combination with the definition of mempty (the
Paul Moore wrote:
Apfelmus, Heinrich wrote:
How to learn? The options are, in order of decreasing effectiveness
university course teacher in person
book irc
mailing list
online tutorial
haskell wiki
haddock documentation
Reason by
On Sun, Jan 18, 2009 at 6:07 AM, Sigbjorn Finne
sigbjorn.fi...@gmail.com wrote:
Maybe. Handling the common cases reasonably well is
probably worth doing first (+profiling) before opting for
a heartlung transplant..
To wit, I've trivially improved the handling of string and
integer lits in
Heinrich Apfelmus wrote:
Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of view, how is
this useful for programming purposes?
Surely, you agree that liftM is useful?
Andrew Coppin wrote:
Heinrich Apfelmus wrote:
Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of view, how is
this useful for programming purposes?
Surely, you agree
Ertugrul Soeylemez wrote:
Andrew Coppin andrewcop...@btinternet.com wrote:
I would suggest that ExistentiallyQuantifiedTypeVariables would be an
improvement [...]
That must be a joke. Typing the long extension names in LANGUAGE
pragmas over and over again is tiring and annoying
Jonathan Cast wrote:
On Sat, 2009-01-17 at 12:04 +, Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of view, how is
this useful for programming purposes?
Good
On Sun, Jan 18, 2009 at 3:23 AM, Andrew Coppin
andrewcop...@btinternet.com wrote:
Given that liftM exists, why is having an identical implementation for fmap
useful?
For many structures, it's easier to define (=) in terms of fmap and
join. For these objects, often the generic implementation of
Hi folks.
I just read a rather interesting paper about a fork of GHC that performs
optimistic evaluation. This shows big wins in some cases.
The authors claim to have implemented this in a fork of GHC and promised
that it would be integrated into the production compiler in the near
future.
On Sat, Jan 17, 2009 at 09:12:32PM -0500, a...@spamcop.net wrote:
And FWIW, I agree with everyone who has commented that the documentation
is inadequate. It'd be nice if there was some way to contribute better
documentation without needing checkin access to the libraries.
There is. The
On Sat, 2009-01-17 at 13:36 -0800, David Leimbach wrote:
On Sat, Jan 17, 2009 at 9:16 AM, david48 dav.vire+hask...@gmail.com
wrote:
On Sat, Jan 17, 2009 at 4:08 PM, David Leimbach
leim...@gmail.com wrote:
So you're saying it should be better documented
Interesting and thoughtful, thanks.
I think we need to file these ideas in the hackage trac. They've been
floating about for a while but we need to get them properly recorded.
On Sun, 2009-01-18 at 01:06 -0500, wren ng thornton wrote:
Minimally these aggregated reports should indicate the
On Sat, 2009-01-17 at 20:34 -1000, Tim Newsham wrote:
Speaking of proxies, I've been looking into how to find the right proxy
to use on Windows systems. Turns out that to do it properly you need a
JavaScript interpreter! Yes, really.
Uhh.. What!? That's not right.
I think you mean it
Andrew Coppin wrote:
I can't await the next Haskell standard, where at last all those
extensions are builtin.
This frightens me.
The example he had had the uses keyword, so I assume it's built in in
the same way Perl pragma are built in. So you can happily ignore code
when you see uses at
Matti Niemenmaa schrieb:
Announcing the release of Coadjute, version 0.0.1!
Web site: http://iki.fi/matti.niemenmaa/coadjute/
Hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Coadjute
Coadjute is a generic build tool, intended as an easier to use and more
portable
- Original Message
From: Andrew Coppin andrewcop...@btinternet.com
Which is why I personally prefer HiddenTypeVariables. (This has the advantage
of using only pronouncible English
words, which means you can use it when speaking out loud.)
Existential - English, easy to pronounce
On Sun, Jan 18, 2009 at 00:37, Ashley Yakeley ash...@semantic.org wrote:
On Sun, 2009-01-18 at 00:34 -0500, Bjorn Buckwalter wrote:
Thanks for the pointer. My source is the Earth Orientation Parameter
(EOP) data at http://www.celestrak.com/SpaceData/; specifically I
autogenerate the module
Andrew Coppin andrewcop...@btinternet.com wrote:
Ertugrul Soeylemez wrote:
Andrew Coppin andrewcop...@btinternet.com wrote:
I would suggest that ExistentiallyQuantifiedTypeVariables would be
an improvement [...]
That must be a joke. Typing the long extension names in LANGUAGE
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually downloading and installing the gazillion of dependencies it
has, which is far too much work when I just wanted to spend ten minutes
On Sun, 2009-01-18 at 16:22 +, Sebastian Sylvan wrote:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually downloading and installing the gazillion of dependencies it
has,
2009/1/18 Sebastian Sylvan sebastian.syl...@gmail.com:
Is there some sort of bundle that you can use to install cabal-install
easily?
Newer versions contain a bootstrap.sh script that works just fine for me.
Cheers,
Peter
___
Haskell-Cafe mailing
Doesn't work on windows.
--
From: Jeff Wheeler j...@nokrev.com
Sent: Sunday, January 18, 2009 4:27 PM
To: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] runghc Setup.hs doitall
On Sun, 2009-01-18 at 16:22 +, Sebastian Sylvan wrote:
Is
On Sun, 18 Jan 2009, Ross Paterson wrote:
Anyone can check out the darcs repos for the libraries, and post
suggested improvements to the documentation to librar...@haskell.org
(though you have to subscribe). It doesn't even have to be a patch.
Sure, it could be smoother, but there's hardly a
Am Sonntag, 18. Januar 2009 17:22 schrieb Sebastian Sylvan:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually downloading and installing the gazillion of dependencies
it has, which
rocon...@theorem.ca wrote:
On Sun, 18 Jan 2009, Ross Paterson wrote:
Anyone can check out the darcs repos for the libraries, and post
suggested improvements to the documentation to librar...@haskell.org
(though you have to subscribe). It doesn't even have to be a patch.
Sure, it could be
Am Sonntag, 18. Januar 2009 17:48 schrieb rocon...@theorem.ca:
On Sun, 18 Jan 2009, Ross Paterson wrote:
Anyone can check out the darcs repos for the libraries, and post
suggested improvements to the documentation to librar...@haskell.org
(though you have to subscribe). It doesn't even
On Sun, Jan 18, 2009 at 8:22 AM, Sebastian Sylvan
sebastian.syl...@gmail.com wrote:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually downloading and installing the gazillion of
2009/1/18 Daniel Fischer daniel.is.fisc...@web.de:
Am Sonntag, 18. Januar 2009 17:48 schrieb rocon...@theorem.ca:
On Sun, 18 Jan 2009, Ross Paterson wrote:
Anyone can check out the darcs repos for the libraries, and post
suggested improvements to the documentation to librar...@haskell.org
On Sun, Jan 18, 2009 at 5:48 PM, rocon...@theorem.ca wrote:
I noticed the Bool datatype isn't well documented. Since Bool is not a
common English word, I figured it could use some haddock to help clarify it
for newcomers.
-- |The Bool datatype is named after George Boole (1815-1864).
--
On Sun, Jan 18, 2009 at 3:23 AM, Andrew Coppin
andrewcop...@btinternet.comwrote:
Jonathan Cast wrote:
On Sat, 2009-01-17 at 12:04 +, Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical
This is a great effort, but the root of the problem isn't just poor
documentation, but an insistence on some obscure name. How about
renaming Bool to YesOrNoDataVariable? I think this would help novice
programmers a great deal.
It would also make the documentation flow much more naturally:
I was interested in actually using this for real, but unfortunately it seems
like you have a dependency on the unix package. Would it be possible to use
something portable (specifically to windows) instead?
From: Simon Michael
Sent: Saturday, January 17, 2009 11:42 PM
To:
On Sun, 2009-01-18 at 11:23 +, Andrew Coppin wrote:
Jonathan Cast wrote:
On Sat, 2009-01-17 at 12:04 +, Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of
On Sun, 2009-01-18 at 11:11 +, Andrew Coppin wrote:
Heinrich Apfelmus wrote:
Andrew Coppin wrote:
instance (Monad m) = Functor m where
fmap f ma = do a - ma; return (f a)
While that's quite interesting from a mathematical point of view, how is
this useful for
On 1/18/09 9:39 AM, Sebastian Sylvan wrote:
I was interested in actually using this for real, but unfortunately it seems
like you have a dependency on the unix package. Would it be possible to use something
portable (specifically to windows) instead?
Darn, thanks for the heads up. I guess
andrewcoppin:
Hi folks.
I just read a rather interesting paper about a fork of GHC that performs
optimistic evaluation. This shows big wins in some cases.
The authors claim to have implemented this in a fork of GHC and promised
that it would be integrated into the production compiler in
Yeah looks like it depends on unix. Also, looks like the terminfo package
isn't cross-platform either.
Perhaps we need a better tool to mark packages which are platform-specific,
so people don't accidentally use them, especially if they're a few levels
away in the dependency graph.
On Sun, 2009-01-18 at 16:48 +, Sebastian Sylvan wrote:
Doesn't work on windows.
http://haskell.org/~duncan/cabal/cabal.exe
It's not the latest version but you can use it to self-update. I'll post
a more recent build after the next release. I might also put it in a
slightly more discoverable
On Sun, 2009-01-18 at 10:27 -0600, Jeff Wheeler wrote:
On Sun, 2009-01-18 at 16:22 +, Sebastian Sylvan wrote:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually
On Sun, 2009-01-18 at 17:58 +0100, Daniel Fischer wrote:
Am Sonntag, 18. Januar 2009 17:22 schrieb Sebastian Sylvan:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of an
evening manually
On Sun, 2009-01-18 at 18:24 +, Duncan Coutts wrote:
In my experience, it usually fails because of missing dependencies like
zlib-dev on my own system, but those are easy to fix, at which point I
can rerun the bootstrap script.
Patches accepted.
Without digressing too much, I don't
Sterling Clover wrote:
This is a great effort, but the root of the problem isn't just poor
documentation, but an insistence on some obscure name. How about
renaming Bool to YesOrNoDataVariable? I think this would help novice
programmers a great deal.
It would also make the documentation
duncan.coutts:
On Sun, 2009-01-18 at 17:58 +0100, Daniel Fischer wrote:
Am Sonntag, 18. Januar 2009 17:22 schrieb Sebastian Sylvan:
Is there some sort of bundle that you can use to install cabal-install
easily? Because it looks to me like I'd have to spend the better part of
an
On a similar note, would it not be nice if cabal install understood about
platforms and could tell you straight away that a package won't install
under e.g. windows, rather then spending ages trying and then failing
because a package tries to run a unix command?
I always get a bit annoyed
ross:
On Sat, Jan 17, 2009 at 09:12:32PM -0500, a...@spamcop.net wrote:
And FWIW, I agree with everyone who has commented that the documentation
is inadequate. It'd be nice if there was some way to contribute better
documentation without needing checkin access to the libraries.
There
Henning Thielemann wrote:
Matti Niemenmaa schrieb:
Announcing the release of Coadjute, version 0.0.1!
Web site: http://iki.fi/matti.niemenmaa/coadjute/
Hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Coadjute
snip
How does it compare to
On Sun, 2009-01-18 at 12:28 -0600, Jeff Wheeler wrote:
On Sun, 2009-01-18 at 18:24 +, Duncan Coutts wrote:
In my experience, it usually fails because of missing dependencies like
zlib-dev on my own system, but those are easy to fix, at which point I
can rerun the bootstrap script.
On Sun, 2009-01-18 at 18:35 +, Sebastian Sylvan wrote:
On a similar note, would it not be nice if cabal install understood about
platforms and could tell you straight away that a package won't install
under e.g. windows, rather then spending ages trying and then failing
because a
I've pushed a patch which should omit the vty dependency and ui
command on windows. Sebastian, could you darcs get the latest code
from http://joyful.com/repos/hledger and see if cabal configure and
build works for you on windows ?
___
That's a great start, but coproduct is still pretty scary. Why not refer
to it as OneOrTheOtherButNotBothDataConstructor?
-Nathan Bloomfield
On Sun, Jan 18, 2009 at 11:32 AM, Sterling Clover s.clo...@gmail.comwrote:
This is a great effort, but the root of the problem isn't just poor
So, I'm working with this simplistic S-expression library of my own design
(yes, I know, reinventing the wheel). Basically, I have the type:
data Sexp =
List of [ Sexp ]
| Atom of String
with the associated parsers and printers which really aren't relevent to
the question
On Sun, 2009-01-18 at 18:17 +0100, Benja Fallenstein wrote:
On Sun, Jan 18, 2009 at 5:48 PM, rocon...@theorem.ca wrote:
I noticed the Bool datatype isn't well documented. Since Bool is not a
common English word, I figured it could use some haddock to help clarify it
for newcomers.
--
Matti Niemenmaa schrieb:
Anyway, hake looks interesting but it's not a replacement for Coadjute;
and neither is Coadjute for hake. To be completely honest I'm not sure
what use case hake is meant to solve: how does it improve over plain make?
It seems to be programmable, and thus may better
On Sun, Jan 18, 2009 at 11:23 AM, Brian Hurt bh...@spnz.org wrote:
instance Sexpable String where
instance Sexpable a = Sexpable [ a ] where
Note that I am not implementing Sexpable Char anywhere, so the only valid
transform for [Char] should be the String one. But this still causes a
On Sun, Jan 18, 2009 at 12:43 PM, sam lee skyn...@gmail.com wrote:
The following code compiles fine on my ghci
This seems like a bug, you didn't enable overlapping instances and
these two instances clearly overlap:
instance Sexpable String where
instance Sexpable a = Sexpable [ a ]
apologies for the old-digest copy spam. .
Louis Wasserman
wasserman.lo...@gmail.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi,
I arrived in Savannah yesterday (to attend PADL), and have spent the
most part of the day drifting aimlessly around. Thrilling as that may
be, I thought perhaps there might be other members of the Haskell
community around, and that perhaps we could arrange to meet informally
for coffee,
ketil:
Hi,
I arrived in Savannah yesterday (to attend PADL), and have spent the
most part of the day drifting aimlessly around. Thrilling as that may
be, I thought perhaps there might be other members of the Haskell
community around, and that perhaps we could arrange to meet informally
2009/1/18 Don Stewart d...@galois.com:
ross:
On Sat, Jan 17, 2009 at 09:12:32PM -0500, a...@spamcop.net wrote:
And FWIW, I agree with everyone who has commented that the documentation
is inadequate. It'd be nice if there was some way to contribute better
documentation without needing
david.waern:
2009/1/18 Don Stewart d...@galois.com:
ross:
On Sat, Jan 17, 2009 at 09:12:32PM -0500, a...@spamcop.net wrote:
And FWIW, I agree with everyone who has commented that the documentation
is inadequate. It'd be nice if there was some way to contribute better
documentation
Hi,
I arrived in Savannah yesterday (to attend PADL), and have spent the
most part of the day drifting aimlessly around. Thrilling as that may
be, I thought perhaps there might be other members of the Haskell
community around,
I will be, in about three hours.
Plans for tonight: sleeping
2009/1/18 Duncan Coutts duncan.cou...@worc.ox.ac.uk:
Second, and this would take more work, I would like it if the Haddock
documentation for packages could be given a wiki-like and/or reddit-like
interface so that people could make comments about what is unclear or
needs better documentation
vo...@tcs.inf.tu-dresden.de writes:
I will be, in about three hours.
Plans for tonight: sleeping :-)
Boring!
But maybe see you tomorrow?
Sure! I got some replies, so hopefully my evening won't be entirely
solitary.
For anybody else who didn't have time to respond, I'll stroll down in
the
Hi,
Possibly a silly question but is it possible to have a function that has a
different return type based on it's first argument?
For instance
data Person = Person { name :: String, ... }
data Business = Business { business_number :: Int, ...}
key person = name person
key business =
On Sun, 18 Jan 2009, Ryan Ingram wrote:
2) A third choice is to do what Show does, which is kind of a hack but
solves this specific problem:
Thanks. I like this solution much better than the two I proposed.
Brian
___
Haskell-Cafe mailing list
Am Montag, 19. Januar 2009 02:44 schrieb John Ky:
Hi,
Possibly a silly question but is it possible to have a function that has a
different return type based on it's first argument?
For instance
data Person = Person { name :: String, ... }
data Business = Business { business_number :: Int,
On 2009 Jan 18, at 13:47, Matti Niemenmaa wrote:
3. Coadjute keeps track of command line arguments (see docs for
details): for me this is really a killer feature, I don't know of
anything else which does this.
It's been done many times before; it never seems to catch on. My
Hi Daniel,
When would I use either? What are the trade-offs?
Thanks
-John
On Mon, Jan 19, 2009 at 1:13 PM, Daniel Fischer daniel.is.fisc...@web.dewrote:
Am Montag, 19. Januar 2009 02:44 schrieb John Ky:
Hi,
Possibly a silly question but is it possible to have a function that has
a
84 matches
Mail list logo
