Very interesting! Thanks for the effort!
On Mon, Aug 22, 2011 at 6:56 PM, Johan Tibell johan.tib...@gmail.comwrote:
[bcc: haskell@, beginners@]
Hi all,
On Sun, Jul 17, 2011 at 1:21 PM, Johan Tibell johan.tib...@gmail.com
wrote:
I've put together a quick, 12-question State of Haskell,
Hello all,
I wanted to have an account on hackageDB to upload a package. I followed
http://hackage.haskell.org/packages/accounts.html, and sent an email to
r...@soi.city.ac.uk for asking an account. It's been a couple days that
I haven't heard back. Is this normal, or I have to do something else?
On Tuesday 23 August 2011, 16:14:43, Qi Qi wrote:
Hello all,
I wanted to have an account on hackageDB to upload a package. I followed
http://hackage.haskell.org/packages/accounts.html, and sent an email to
r...@soi.city.ac.uk for asking an account. It's been a couple days that
I haven't
Hi,
I am trying to read and translate the 2010 Haskell Report to Chinese for fun. I
am wondering if anyone would like to join me.
Cheers,
Qiuchi
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Aug 22, 2011, at 10:17 PM, Barend Venter wrote:
It seems like you should be able to get instances for:
(Monoid m) = Monoid (RVarT n m)
(Num m) = Num (RVarT n m)
and so forth for integral and floating
Just wondering if I am missing something here or if there is any
particular thing
Hi, Qiuchi,
I would like to contribute but I am not sure how much time I could spend
Best,bob
于 11-8-23 上午10:44, Qiuchi Jian 写道:
Hi,
I am trying to read and translate the 2010 Haskell Report to Chinese for
fun. I am wondering if anyone would like to join me.
Cheers,
Qiuchi
Slight digression. Why not Lambda Algebra?
In particular, what is the criteria for a system to be calculus and how's it
different from algebra?
On Mon, Aug 22, 2011 at 12:41 AM, Jack Henahan jhena...@uvm.edu wrote:
The short answer is because Church said so. But yes, it is basically
because λ
See Serge Lang's Algebra.
2011/8/23 Rajesh S R srrajesh1...@gmail.com:
Slight digression. Why not Lambda Algebra?
In particular, what is the criteria for a system to be calculus and how's it
different from algebra?
--
--
Regards,
KC
___
People interested in (typed) code generation might be interested (or
know people who are) in the following post-doc position. While the
'topic' is design for multiple visual scales, the tools used in practice
will be DSLs and (typed) code generators. We use Haskell for
implementing all of our
An algebra is a specific kind of structure which is itself formalized
mathematically. I've never seen a formalization of the notion of a calculus
and I believe it to be a looser term, as KC defined it.
Specifically, an algebra consists of a set (or several sorts of sets) and
operations that
Hello,
I try to install the ssh package with cabal, but
unfortunately that doesn't work, I have this error :
src/SSH/Crypto.hs:70:16:
Couldn't match expected type `Data.ASN1.Types.ASN1t' with actual type
`ASN1ConstructionType'
I'am on Debian with ghc-7.0.1
I don't know how I can resolve this
FYI: It's usually good to CC the package maintainer when a build fails
for non-trivial reasons.
At first glance it seems the SSH package was released when version 0.3
of the ASN package was current. The ASN package is now on version 0.5
- so you can either add that constraint into the SSH
On Mon, Aug 22, 2011 at 11:53 AM, Tom Murphy amin...@gmail.com wrote:
Thanks for running this again: very informative.
We ought to be able to write a library with a Par monad for distributed
parallel algorithms.
If someone were to do this they might want to start here:
Hi,
I am getting my feet writing concurrent programs in Haskell with GHC for
multicore machines. As a first step I decided to write a program that reads
and writes concurrently to an IOArray, with no synchronization whatsoever.
I'm doing this to establish a baseline to compare with the
On Tue, Aug 23, 2011 at 10:01 PM, David Pollak
feeder.of.the.be...@gmail.com wrote:
If you need any help with the tutorial, I might be able to help. Beginning
Scala is reputed to be approachable by a broad range of developers and I'd
be happy to try to apply my approach in Beginning Scala to
On 23/08/2011 09:04 PM, Andreas Voellmy wrote:
I compiled this with ghc --make -rtsopts -threaded -fforce-recomp -O2
DirectTableTest.hs.
Running time ./DirectTableTest 1 +RTS -N1 takes about 1.4 seconds and
running time ./DirectTableTest 2 +RTS -N2 take about 2.0 seconds!
I found that
On Tue, Aug 23, 2011 at 10:04 PM, Andreas Voellmy
andreas.voel...@gmail.com wrote:
data DAT = DAT (IOArray Int32 Char)
Try to make this a newtype instead. The data type adds a level of indirection.
do let p j c = insertDAT a j c lookupDAT a j = \v - v `pseq` return
()
You most likely want
On Tue, Aug 23, 2011 at 16:04, Andreas Voellmy andreas.voel...@gmail.comwrote:
I found that changing the array type used in the implementation of
DirectAddressTable from IOArray to IOUArray fixes this problem.
Since the main observable effect of this change is strictness, I'd
immediately
Thanks for the suggestions. I tried to add strictness in the following
ways:
(1) Changing insertDAT a j c to insertDAT a j $! c
(2) Changing insertDAT a j c to deepseq c (insertDAT a j c)
I also used Int instead of Int32 throughout and changed the DAT data type to
a newtype definition. These
CGI m a is an instance of MonadIO if m is, so
import Control.Monad.Trans
cgiTMain = do
gen - liftIO getStdGen
...
should work.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi, John, there is a space leak problem in ListLike typeclass,
in the method genericLength
calclen !accum cl =
calclen accum cl =
--- thank you for your nice library
btw, is there any way to derive ListLike interface automatically?
for such type :
newtype List a = List {[a]}
Best,bob
On 24 August 2011 11:10, bob zhang bobzhang1...@gmail.com wrote:
Hi, John, there is a space leak problem in ListLike typeclass,
in the method genericLength
calclen !accum cl =
calclen accum cl =
I _think_ this may cause problems with some data types (e.g.
Hi,
I think 3 genericLength [1..] should fail, that laziness is not we
want.
I can not derive ListLike instance using GHC extensions, can you provide
a working example?
Thanks
On Tue, Aug 23, 2011 at 9:47 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 24 August 2011
On 8/23/11 11:17 PM, bob zhang wrote:
I think 3 genericLength [1..] should fail, that laziness is not we want.
And it'd be more efficient to use
lengthBound 3 () [1..]
where lengthBound is from list-extras:Data.List.Extras.LazyLength. The
efficiency comes from using Int rather than a
On Wed, Aug 24, 2011 at 10:47 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 24 August 2011 11:10, bob zhang bobzhang1...@gmail.com wrote:
Hi, John, there is a space leak problem in ListLike typeclass,
in the method genericLength
calclen !accum cl =
calclen accum cl =
I
25 matches
Mail list logo
