#3676: realToFrac doesn't sanely convert between floating types
--+-
Reporter: draconx|Owner:
Type: bug| Status: new
Priority: normal
#3866: Constr Eq instance should have better documentation or semantics
-+--
Reporter: batterseapower| Owner: dreixel
Type: bug | Status: assigned
Priority:
#3872: New way to make the simplifier diverge
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone:
#3845: compiling template haskell internal error: ... not in scope during type
checking, but it passed the renamer
-+--
Reporter: JakeWheat |Owner:
Type: bug |
#3676: realToFrac doesn't sanely convert between floating types
--+-
Reporter: draconx|Owner:
Type: bug| Status: new
Priority: normal
#3845: compiling template haskell internal error: ... not in scope during type
checking, but it passed the renamer
-+--
Reporter: JakeWheat |Owner:
Type: bug |
#3873: template haskell: incorrect Warning: defined but not used
-+--
Reporter: JakeWheat | Owner:
Type: bug | Status: new
#3874: GHC.Exts.traceEvent segfaults
---+
Reporter: cjs | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime
#3874: GHC.Exts.traceEvent segfaults
---+
Reporter: cjs | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime
#3874: GHC.Exts.traceEvent segfaults
---+
Reporter: cjs | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime
This is a tricky one. The motivating example is this:
-- Overlapping instances
instance Show a = Show [a] where ...
instance Show Char where ...
data T where
MkT :: Show a = [a] - T
f :: T - String
f (MkT xs) = show xs ++ \n
Here it's clear that the only way to discharge the
Dear functional programmers,
Standard Chartered Bank in London will be hosting the next Fun In The
Afternoon event on Wednesday the 17th of February. The program of
talks, with abstracts, is at the bottom of this email. Everyone is
welcome!
If you would like to come, please email me (ndmitchell
On Feb 9, 2010, at 10:43 PM, S. Doaitse Swierstra wrote:
-- but if we now unfold the definition of one we get a parser error
in GHC
increment' = ( let x=1 in x + )
The GHC and Hugs parsers are trying so hard to adhere to the meta
rule that bodies of let-expressions
extend as far as
Hi nwn,
I had the following error:
Run: Network/Socket/Internal.hsc:(298,2)-(314,60): Non-exhaustive patterns in
case. The code for those lines look like this:
peekSockAddr p = do
family - (#peek struct sockaddr, sa_family) p
case family :: CSaFamily of
#if
Hi all,
To summarize everything in this thread I've tested mwc-random,
System.Random and mersenne random numbers (mersenne-random-pure64).
Here the score table:
[THIRD PLACE] Generic Random Number Generator. Is the slowest and
allocates too much memory in the heap. The total memory usage is
Don't you simply need to do what the error message says, and add (*in
the Executable section*, at the end of the file):
build-depends: SFML
?
Limestraël wrote:
I think I must be dumb or something.
I did my SFML.cabal exactly the way the packager of vty-ui did vty-ui.cabal,
and I still have
On Feb 9, 2010, at 6:47 PM, Thomas Hartman wrote:
Matt, have you seen this thread?
Jeremy, are you saying this a bug in the sendfile library on hackage,
or something underlying?
I'm saying that the behavior of the sendfile library is buggy. But it
could be due to something underlying..
Although I'm fond of Haskell, in practice I am not a
Haskell programmer -- I'm paid for Ruby and Bourne shell
programming.
Many of the jobs posted on this list end up being jobs
for people who appreciate Haskell but will work in C# or
O'Caml or some-such.
I wonder how many people
I do.
On Feb 10, 2010, at 6:59 PM, Jason Dusek wrote:
Although I'm fond of Haskell, in practice I am not a
Haskell programmer -- I'm paid for Ruby and Bourne shell
programming.
Many of the jobs posted on this list end up being jobs
for people who appreciate Haskell but will work in
On Wed, Feb 10, 2010 at 9:59 AM, Jason Dusek jason.du...@gmail.com wrote:
I wonder how many people actually write Haskell,
principally or exclusively, at work?
While I don't suspect the number is large at the moment, the same
thing could have been said several years ago of the language I use
I used Haskell for some Research Development work at Deutsche Bahn,
earlier. (But my program was not integrated with their other
systems.)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Not using it yet, but there's been a large amount of interest and
willingness to work with it from management. We're contractors, so it
depends on us finding some one who will allow us to use the language or asks
for it explicitly.
On Wed, Feb 10, 2010 at 10:59 AM, Jason Dusek
Using it at the day job currently... like I need to get back to it.
On Wed, Feb 10, 2010 at 8:22 AM, John Van Enk vane...@gmail.com wrote:
Not using it yet, but there's been a large amount of interest and
willingness to work with it from management. We're contractors, so it
depends on us
I wonder how many people actually write Haskell,
principally or exclusively, at work?
I suppose you're implying non-academic jobs by that statement, but most of
the people in my research group develop programs in Haskell on a daily
basis. You'll find a number of libraries on Hackage from us.
Neil Brown-7 wrote:
Don't you simply need to do what the error message says, and add (*in
the Executable section*, at the end of the file):
Nope, just check my previous message (my issue (2)):
Limestrael wrote:
(2) well, then, when building, if I don't specify that my executable
hi,
i've been using the vector [1] library for implementing some signal processing
algorithms, but now i'd like to use the statistics [2] package on my data, which
is based on the uvector [3] library. is there a (straightforward) way of
converting between vectors and uvectors, preferrably O(1)?
I'm thinking of switching the statistics library over to using vector.
uvector is pretty bit-rotted in comparison to vector at this point, and it's
really seeing no development, while vector is The Shiny Future. Roman, would
you call the vector library good enough to use in production at the
Hello Jason,
Wednesday, February 10, 2010, 6:59:42 PM, you wrote:
I wonder how many people actually write Haskell,
principally or exclusively, at work?
i work on commercial program. once it will start selling, i will
publish here the story
--
Best regards,
Bulat
Am Mittwoch 10 Februar 2010 18:16:42 schrieb Limestraël:
Neil Brown-7 wrote:
Don't you simply need to do what the error message says, and add (*in
the Executable section*, at the end of the file):
Nope, just check my previous message (my issue (2)):
I think
2010/02/10 Tom Tobin korp...@korpios.com:
On Wed, Feb 10, 2010 at 9:59 AM, Jason Dusek jason.du...@gmail.com wrote:
I wonder how many people actually write Haskell,
principally or exclusively, at work?
While I don't suspect the number is large at the moment, the
same thing could have been
I think this has a lot to do with the fact that
web programming is very much a let's go shopping kind of
discipline -- no point in troubling oneself over correctness
when the users haven't weighed in on the worth of your site.
Of course this attitude leads to a long maintenance phase of
Jeremy Shaw wrote:
On Feb 9, 2010, at 6:47 PM, Thomas Hartman wrote:
Matt, have you seen this thread?
Jeremy, are you saying this a bug in the sendfile library on hackage,
or something underlying?
I'm saying that the behavior of the sendfile library is buggy. But it
could be due to
On Wed, Feb 10, 2010 at 10:03 AM, Bryan O'Sullivan b...@serpentine.comwrote:
I'm thinking of switching the statistics library over to using vector.
uvector is pretty bit-rotted in comparison to vector at this point, and it's
really seeing no development, while vector is The Shiny Future.
Jason Dusek wrote:
Although I'm fond of Haskell, in practice I am not a
Haskell programmer -- I'm paid for Ruby and Bourne shell
programming.
Many of the jobs posted on this list end up being jobs
for people who appreciate Haskell but will work in C# or
O'Caml or some-such.
I
OK, so I sat down today and tried this, but I can't figure out how.
There are various examples of type-level arithmetic around the place.
For example,
http://www.haskell.org/haskellwiki/Type_arithmetic
(This is THE first hit on Google, by the way. Haskell is apparently THAT
popular!) But
Hello,
I have implemented the following function:
lazy'foldl :: (a - b - Maybe a) - Maybe a - [b] - Maybe a
lazy'foldl _ Nothing _ = Nothing
lazy'foldl _ m[] = m
lazy'foldl f (Just y) (x:xs) = lazy'foldl f (f y x) xs
After hoogling its type, I found that
On Wed, Feb 10, 2010 at 4:59 PM, Jason Dusek jason.du...@gmail.com wrote:
I wonder how many people actually write Haskell,
principally or exclusively, at work?
Roel and I use Haskell at work.
We develop embedded software in Haskell (not real-time) that controls
a scientific instrument.
We
For the reference: foldM is defined as
foldM :: Monad m = (a - b - m a) - a - [b] - ma
foldM _ a [] = return a
foldM f a (x:xs) = f a x = \fax - foldM f fax xs
Let's define
foldM' f x xs = lazy'foldl f (Just x) xs
We can check that foldM' satisfies the same equations as foldM:
foldM' f a [] =
In my previous job, which recently ended, we used Haskell for
at least half of our code, and most of our core stuff.
I ended up writing a lot of Java, too, but you take the good,
you take the bad.
-James
On Wed, Feb 10, 2010 at 10:59 AM, Jason Dusek jason.du...@gmail.com wrote:
Although I'm
On Wed, Feb 10, 2010 at 2:29 PM, Andrew Coppin
andrewcop...@btinternet.com wrote:
OK, so I sat down today and tried this, but I can't figure out how.
There are various examples of type-level arithmetic around the place. For
example,
http://www.haskell.org/haskellwiki/Type_arithmetic
(This
jason.dusek:
Although I'm fond of Haskell, in practice I am not a
Haskell programmer -- I'm paid for Ruby and Bourne shell
programming.
Many of the jobs posted on this list end up being jobs
for people who appreciate Haskell but will work in C# or
O'Caml or some-such.
I
v.dijk.bas:
On Wed, Feb 10, 2010 at 4:59 PM, Jason Dusek jason.du...@gmail.com wrote:
I wonder how many people actually write Haskell,
principally or exclusively, at work?
Roel and I use Haskell at work.
We develop embedded software in Haskell (not real-time) that controls
a
On Wed, Feb 10, 2010 at 9:50 PM, Don Stewart d...@galois.com wrote:
... Perhaps more users could add their details to
http://haskell.org/haskellwiki/Haskell_in_industry ...
done
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
We could/should probably all just start our own collective (corporate) entity
to produce software, based on the premises that
1) software built with Haskell will be more robust, and
2) software built by developers who have an affinity and aptitude for this
language will tend to write better
consider presenting at CUFP this year
Any word on when this will be?
On Wed, Feb 10, 2010 at 3:50 PM, Don Stewart d...@galois.com wrote:
v.dijk.bas:
On Wed, Feb 10, 2010 at 4:59 PM, Jason Dusek jason.du...@gmail.com
wrote:
I wonder how many people actually write Haskell,
On Tue, 9 Feb 2010 21:56:49 +, you wrote:
Monads are not commutative. A structure that would tell the compiler
that it's commutative, would give it more leeway for optimization (and
parallel execution).
Thank you.
Not commutative was the phrase I was looking for.
--
Regards,
Casey
On 11/02/2010, at 05:03, Bryan O'Sullivan wrote:
I'm thinking of switching the statistics library over to using vector.
uvector is pretty bit-rotted in comparison to vector at this point, and it's
really seeing no development, while vector is The Shiny Future. Roman, would
you call the
On Tue, Feb 9, 2010 at 8:48 AM, Limestraël limestr...@gmail.com wrote:
Cabal/cabal-install are good tools for distribution and installation, but I
was wondering -- as I was starting to learn how to use Cabal -- how do
usually Haskell developpers build their softwares
I add the enclosed
2010/02/10 Roderick Ford develo...@live.com:
A U.S. president would probably subsidize such a job-creating endeavor too!
The US government generally subsidizes these kinds of things
through DoD spending (and a few NSF grants). That is probably
hard to get into.
--
Jason Dusek
John Van Enk:
consider presenting at CUFP this year
Any word on when this will be?
It'll be before or after (I suspect the later) ICFP
http://www.icfpconference.org/icfp2010/, which is September 27-29 in
Baltimore, Maryland.
Manuel
___
Another great thread. I'm another who uses both make and cabal. I try to automate a lot of things and find a makefile
easier for quick scripting. Perhaps at some point I'll get by with just cabal. Here's an example:
http://joyful.com/repos/hledger/Makefile
An unusual feature, I think, is the
I'm having trouble with HDBC-mysql on Mac OS X (10.6, Snow Leopard). It
compiles and builds fine, but when loaded (into ghci), the dynamic loader
complains about not being able to find libmygcc.dylib. The issue is, MySQL's
libmygcc is a static lib, not a dynamic one, so of course it won't find
52 matches
Mail list logo