On Mon, 2007-09-17 at 14:37 -0500, John Goerzen wrote:
* It would be really nice if QuickCheck supported I/O and some version
of HUnit's TestLabel to generate hierarchical names when failures
occur.
I've done this for testing IO (reading and writing files):
prop_serialize (E s) =
On Tue, 2007-09-18 at 01:11 +0100, Neil Mitchell wrote:
DBM's can differentiate themselves on external database support,
Surely this is an opportunity to focus development on a single library
with broader support? Currently, we have HSQL and HDBC supplying
incompatible low-level interfaces,
This discussion has sparked a question in my mind:
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
I
Ketil Malde wrote:
Neil Mitchell wrote:
DBM's can differentiate themselves on external database support,
Surely this is an opportunity to focus development on a single library
with broader support? Currently, we have HSQL and HDBC supplying
incompatible low-level interfaces, supporting a
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Sam
| Hughes
| Sent: 16 September 2007 04:53
| To: Ryan Ingram
| Cc: haskell-cafe
| Subject: Re: [Haskell-cafe] How can I stop GHCi from calling show for IO
actions?
|
| Ryan Ingram wrote:
| Prelude
On 2007-09-16, B K [EMAIL PROTECTED] wrote:
Hello,
Are there any Haskell Hackers on this mailing list who live in Israel?
I am interested in starting an Israel Haskell User Group.
Hi,
I'll be glad to join.
Besides, I'll be glad to here from an Israel Haskell hacker
who maybe interested in a
Bas van Dijk wrote:
Roberto Zunino wrote:
data Z
data S n
data List a len where
Nil :: List a Z
Cons:: a - List a len - List a (S len)
The other day I was playing with exactly this GADT. See: http://hpaste.org/2707
My aim was to define a function like 'concat' in terms of 'foldr'
Dominic Steinitz [EMAIL PROTECTED] wrote:
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
Ideally, yes. I think a useful model would be GNU/Linux, where there is
the Linux kernel, developed by core hackers,
John Goerzen [EMAIL PROTECTED] wrote:
* Hugs programs that use cpphs can't use ByteString
This bug in cpphs was fixed already, several days ago.
* It would be really nice if QuickCheck supported I/O
QuickCheckM gives you monadic test properties, as described in a Haskell
Workshop 2002 paper.
Hi
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
Propose to have the packaged added. There is a very low chance of this
being accepted. The only packages to have recently been added were
FilePath and ByteString, both of which were
In order to make my records system practically useable, I need a type
family
type family NameCmp n m
which totally orders datatypes. More precisely, it should return one
of the
following types:
data NameLT = NameLT
data NameEQ = NameEQ
data NameGT = NameGT
for each pair
Neil Mitchell wrote:
Hi
What is the process for the inclusion of modules / packages in ghc, hugs and
other compilers interpreters?
Propose to have the packaged added. There is a very low chance of this
being accepted. The only packages to have recently been added were
FilePath and
Adrian Hey wrote:
Neil Mitchell wrote:
Hi
They are less stable and have less quality control.
Surely you jest? I see no evidence of this, rather the contrary in fact.
No, dead serious. The libraries have a library submission process.
It does not follow that libraries that have not been
On Tue, 2007-09-18 at 11:14 +0100, Malcolm Wallace wrote:
I would like to see the same separation forming between the ghc compiler
itself (which would minimally include only the small number of libraries
needed to build the compiler), and larger distributions which would be
maintained by
Hi
I think there is a niche for a subset of the hackage libraries providing
an officially sanctioned standard library collection. Currently,
hackage includes, well, everything. As such, it is a useful resource,
but it would be useful to have a partitioning into two levels, where the
SLC
| It seems that GHCi outputs the contents of the variable you've created
| when there's only one of them.
Indeed, that is documented behaviour (first bullet here:
http://www.haskell.org/ghc/docs/latest/html/users_guide/ch03s04.html#ghci-stmts
)
Perhaps it's confusing behaviour? If so do suggest
I thought the master plan was that less would come with the compiler /
interpreter and the user would install packages using cabal.
Ideally, yes. I think a useful model would be GNU/Linux, where there is
the Linux kernel, developed by core hackers, and then there are
distributions, which
Hi Barney,
This may be of interest, since all types already have an Int
associated with them:
http://haskell.org/ghc/docs/latest/html/libraries/base/Data-Typeable.html#v%3AtypeRepKey
Thanks
Neil
On 9/18/07, Barney Hilken [EMAIL PROTECTED] wrote:
In order to make my records system
On 18-sep-2007, at 14:10, Simon Marlow wrote:
Adrian Hey wrote:
Neil Mitchell wrote:
Hi
They are less stable and have less quality control.
Surely you jest? I see no evidence of this, rather the contrary
in fact.
No, dead serious. The libraries have a library submission process.
It
Hi Neil, thanks for the response.
The problem is this:
It is in the IO monad because the actual value of the key may vary
from run to run of the program
(taken from the web page). Since I'm relying on the order, not just
equality, this will seriously
screw things up, because my records are
Simon Marlow wrote:
Ashley Yakeley wrote:
If I have a thread that's blocked on an STM retry or TChan read, and
none of its TVars are referenced elsewhere, will it get stopped and
garbage-collected?
I have in mind a pump thread that eternally reads off a TChan and
pushes the result to some
Jules Bean wrote:
Simon Marlow wrote:
Ashley Yakeley wrote:
If I have a thread that's blocked on an STM retry or TChan read, and
none of its TVars are referenced elsewhere, will it get stopped and
garbage-collected?
I have in mind a pump thread that eternally reads off a TChan and
pushes
Ian Lynagh wrote:
On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to parallelize
code in a purely functional language (am I right saying that ?).
My knowledge of parallelization is also very weak, but I've been thinking
about this and I
On 9/18/07, apfelmus [EMAIL PROTECTED] wrote:
...in reality, foldr is (almost) the induction principle for natural numbers!
Oh yes, nice observation!
Afpelmus, thanks for your thorough answers!
regards,
Bas
___
Haskell-Cafe mailing list
On Mon, Sep 17, 2007 at 05:26:05PM +0100, Neil Mitchell wrote:
Compare me changing my tagsoup library, to me changing my filepath
library which comes bundled with GHC. I can do anything I want to the
tagsoup library, but I need to wait at least 2 weeks and get general
consensus before changing
Hi
okay, but this fails in some cases. i wrote a package to obtain
financial quotes. yahoo changed the webservice url on me. i rolled out
a change within a day. in your model, people suffer a broken service
for two weeks.
I don't think Yahoo will change the syntax or semantics of filepaths
Salute Simon, hi everybody here!
Ian is scientific in his observations and has a valid point. I share his
objection to the Haskell list as unnecessarily misleading newcomers which, I
would add, sets precedents for others to be verbose. Then, creating a Beginner
list is less fortunate than
On Tue, Sep 18, 2007 at 09:20:44AM +0800, clisper wrote:
who knows how to compile yi-gtk?
i tried,but it told me mine miss gtk.
probably what you need is gtk2hs:
http://haskell.org/gtk2hs/
andrea
___
Haskell-Cafe mailing list
hughperkins:
Just out of curiosity, how could one do something like a factory, so
that by default a library uses, say, Data.Map, but by making a simple
assignment we can switch the library to use a different
implementation?
Polymorphism, specifically, typeclasses, would be one option here.
Instead, I think
several people should make their own personal list of libraries they
would vouch for
Ideally along with a cabal (or otherwise) install script that would set
everything up in one step.
Neil Mitchell [EMAIL PROTECTED]
Sent by: [EMAIL PROTECTED]
09/18/2007 09:02 AM
To
On Tuesday 18 September 2007 09:44, Dominic Steinitz wrote:
This discussion has sparked a question in my mind:
What is the process for the inclusion of modules / packages in ghc, hugs
and other compilers interpreters?
Personal interest of the people working on GHC et. al. ;-)
I thought the
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote:
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to
parallelize code in a purely functional language (am I right saying
that ?).
My knowledge of parallelization
On Tue, Sep 18, 2007 at 07:24:08PM +0200, Sven Panne wrote:
Although this statement might be a bit heretical on this list, I'll have to
repeat myself again that Cabal, cabal-install, cabal-whatever
will *never* be the right tool for the end user to install Haskell
packages on platforms with
http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Wow this is cool stuff! It would be nice to have something like this for the
Playstation 3 :-)
Regarding parallelism, I wander how this extension will compare to Sun's
Fortress language, if/when it gets finally released.
Peter
If I recall correctly a rather neat way of exploiting this property of
qsort is exploited with Nested Data Parallelism and covered in this
talk:
http://www.londonhug.net/2007/05/25/video-of-spjs-talk-is-now-online/
Good food for thought :)
Dave,
On 18/09/2007, Thomas Girod [EMAIL PROTECTED]
On Sep 18, 2007, at 4:24 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Wow this is cool stuff! It would be nice to have something like
this for the Playstation 3 :-)
Regarding parallelism, I wander how this extension will compare
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote:
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to
parallelize code in a purely functional language (am I right saying
that ?).
My knowledge of parallelization
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hstats-0.1
I've just released hstats, a statistical computing module for the Haskell
language. Current functionality includes: mean, median, mode, range,
standard/average deviation, variance, iqr, kurtosis, skew, covariance, and
Hi
What symbol would you replace the ? with:
the identity function
id x = x?
My scanned copy of the Hutton book contains some rather interesting
characters. In fact, the OCR program has placed a . in place of
most symbols - e.g. -, - ^, =, \=, etc.
Fortunately, I'm able to guess the correct
Hi
What symbol would you replace the ? with:
the identity function
id x = x?
I don't think I'd have anything where the ? symbol is.
id x = x works just fine.
Ah, that's interesting because there's a . to the right of
x in my scanned doc. Still, if no symbol is necessary, so much
41 matches
Mail list logo