Hi all,
haskell.org down again?
Hardware not stable?
Attack?
Can't we avoid haskell.org off?
-- Andy
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Eugene Kirpichov wrote:
I think Dan is talking about sharing the spine of the lists...
How about representing the lists using something along the lines of:
data List a = Nil | Leaf a | Cat (List a) (List a)
data Transformed a = Changed a | Unchanged a
[...]
cat :: List a -
I just finished writing my GSoC proposal and I want to have some
feedback from the community. I'll try to be brief (this is not the
proposal).
So where is the proposal? Is there a ticket on GSoC trac?
Cheers,
Simon
___
Haskell-Cafe mailing list
Simon Marlow wrote:
but they are needlessly complicated, in my opinion. This offers the
same functionality:
mask :: ((IO a - IO a) - IO b) - IO b
mask io = do
b - blocked
if b
then io id
else block $ io unblock
How does forkIO fit into the picture? That's one point where
2010/4/9 Heinrich Apfelmus apfel...@quantentunnel.de:
Eugene Kirpichov wrote:
I think Dan is talking about sharing the spine of the lists...
How about representing the lists using something along the lines of:
data List a = Nil | Leaf a | Cat (List a) (List a)
data Transformed a = Changed
On 04/08/2010 01:09 AM, Luke Palmer wrote:
On Wed, Apr 7, 2010 at 1:23 AM, Evan Laforgeqdun...@gmail.com wrote:
Derive.PitchDeriver Derive/Derive.hs98;file:Cmd/Cmd.hs
Derive.PitchDeriver Derive/Derive.hs98;file:Cmd/Play.hs
Derive.PitchDeriver
A lte reply, but if you still need to have circular module depency: 4.6.9.
How to compile mutually recursive modules in
http://www.haskell.org/ghc/docs/latest/html/users_guide/separate-compilation.html
On 21 March 2010 01:31, Arnoldo Muller arnoldomul...@gmail.com wrote:
Hello Daniel,
On Fri, Apr 9, 2010 at 3:22 AM, Isaac Dupree
m...@isaac.cedarswampstudios.org wrote:
OK, thanks for the link! In fact, [tell me if my reasoning is wrong...], in
that fork-definition, the 'putMVar' will never block, because there is only
putMVar one for each created MVar.
Yes that's correct.
On 09/04/2010 09:40, Bertram Felgenhauer wrote:
Simon Marlow wrote:
but they are needlessly complicated, in my opinion. This offers the
same functionality:
mask :: ((IO a - IO a) - IO b) - IO b
mask io = do
b- blocked
if b
then io id
else block $ io unblock
How does
On 08/04/2010 21:20, Tyson Whitehead wrote:
On March 26, 2010 15:51:42 Isaac Dupree wrote:
On 03/25/10 12:36, Simon Marlow wrote:
I'd also be amenable to having block/unblock count nesting levels
instead, I don't think it would be too hard to implement and it wouldn't
require any changes at
Gwern Branwen wrote:
Yves Parès limestr...@gmail.com wrote:
[...]
But when running the game, the program cannot switch from a player's monad
to another.
Do you have any suggestion?
Your desires remind me of the MonadPrompt package
http://hackage.haskell.org/package/MonadPrompt, which
On Fri, Apr 9, 2010 at 10:40 AM, Bertram Felgenhauer
bertram.felgenha...@googlemail.com wrote:
How does forkIO fit into the picture? That's one point where reasonable
code may want to unblock all exceptions unconditionally - for example to
allow the thread to be killed later.
timeout t io
On Wed, Apr 7, 2010 at 5:12 PM, Simon Marlow marlo...@gmail.com wrote:
Comments? I have a working implementation, just cleaning it up to make a
patch.
Can you also take a look at these bugs I reported earlier:
http://hackage.haskell.org/trac/ghc/ticket/3944
Dear all,
I would like to collect contributions for the 18th edition of the
Haskell Communities Activities Report
http://www.haskell.org/communities/
Submission deadline: 1 May 2010
On Thu, Apr 8, 2010 at 11:07 PM, Matthew Gruen wikigraceno...@gmail.com wrote:
On Thu, Apr 8, 2010 at 10:58 PM, Antoine Latter aslat...@gmail.com wrote:
One thing in the branch over in http://code.haskell.org/hackage-server
is the ability for package maintainers to upload documentation to the
mo...@deepbondi.net writes:
are you using the hackage-released version of random-fu or the darcs
one?
I was using the hackage version, but since then I switched to the darcs
version. (Btw, began using it in some of my projects and I'm really
happy about it.)
In the above case, I was using IO
Thanks for the clues, I'll try and make some time this weekend to track it
down. I do have some gentoo x64 systems to play with. My first impulse is
actually that it is likely due to differences in inlining and/or rewrite rule
processing between the GHC versions, but we'll see what turns up.
Simon Marlow wrote:
On 09/04/2010 09:40, Bertram Felgenhauer wrote:
Simon Marlow wrote:
mask :: ((IO a - IO a) - IO b) - IO b
How does forkIO fit into the picture? That's one point where reasonable
code may want to unblock all exceptions unconditionally - for example to
allow the thread
On 08/04/2010 06:27, Dean Herington wrote:
Is there any reason not to use the more standard uninterruptible
instead of noninterruptible?
Good point, I'll change that.
Cheers,
Simon
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On 09/04/2010 10:33, Bas van Dijk wrote:
On Fri, Apr 9, 2010 at 3:22 AM, Isaac Dupree
m...@isaac.cedarswampstudios.org wrote:
OK, thanks for the link! In fact, [tell me if my reasoning is wrong...], in
that fork-definition, the 'putMVar' will never block, because there is only
putMVar one for
2010/4/9 Johan Tibell johan.tib...@gmail.com:
On Fri, Apr 9, 2010 at 4:35 AM, Mark Lentczner ma...@glyphic.com wrote:
On Apr 8, 2010, at 6:55 PM, ViaToR (Alvaro V.) wrote:
I just finished writing my GSoC proposal ...
The project is about creating a new documentation tool for Haskell
On Wed, 2010-04-07 at 00:40 -0400, Matthew Gruen wrote:
Hi Haskellers,
I'm Matt Gruen (Gracenotes in #haskell), and the Hackage 2.0 SoC
project at http://hackage.haskell.org/trac/summer-of-code/ticket/1587
really piqued my interest. It seems doable, in a summer, to make the
new
2010/4/9 ViaToR (Alvaro V.) alv...@gmail.com:
Hello,
I just finished writing my GSoC proposal and I want to have some feedback
from the community. I'll try to be brief (this is not the proposal).
The project is about creating a new documentation tool for Haskell projects,
like Sphinx[1] for
I vote for adding a feature that would let people post comments/code
snippets to the documentation of other peoples packages :)
It would be even nicer if you could post comments to individual haskell
definitions on the haddock page, and then hide most of them by default under
an expander of some
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil Mitchell:
http://hackage.haskell.org/trac/ghc/ticket/3263 .
However, does it make sense for this to be turned on with -Wall? For
starters, why should this warning apply only to
Ivan Lazar Miljenovic wrote:
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil Mitchell:
http://hackage.haskell.org/trac/ghc/ticket/3263 .
However, does it make sense for this to be turned on with -Wall? For
starters, why
On Fri, Apr 9, 2010 at 9:46 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Job Vranish job.vran...@gmail.com writes:
I vote for adding a feature that would let people post comments/code
snippets to the documentation of other peoples packages :)
You mean turn every hackage
1) Two places containing the API reference.
In your example documentation the API reference is included in one of
the chapters. Wouldn't it be better to just have it in one place - the
Haddock docs?
The example is just a test of how you could create a full-customizable
single document which
On Fri, Apr 9, 2010 at 10:21 AM, Job Vranish job.vran...@gmail.com wrote:
On Fri, Apr 9, 2010 at 9:46 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Job Vranish job.vran...@gmail.com writes:
I vote for adding a feature that would let people post comments/code
snippets to the
(before anyone tells me I should be using an Applicative style
instead, polyparse doesn't support Applicative, so I can't)
Well, polyparse may not support the Applicative class defined in
Control.Applicative, but it _does_ have an applicative interface using
other names for the same
It would be even nicer if you could post comments to individual
haskell
definitions on the haddock page, and then hide most of them by
default under
an expander of some sort.
Rather than, you know, providing the maintainer with a patch with some
improved documentation?
How much cooler
On Fri, Apr 9, 2010 at 10:31 AM, Edward Kmett ekm...@gmail.com wrote:
On Fri, Apr 9, 2010 at 10:21 AM, Job Vranish job.vran...@gmail.comwrote:
On Fri, Apr 9, 2010 at 9:46 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Job Vranish job.vran...@gmail.com writes:
I vote for
On Fri, Apr 9, 2010 at 10:46 AM, Malcolm Wallace
malcolm.wall...@cs.york.ac.uk wrote:
It would be even nicer if you could post comments to individual haskell
definitions on the haddock page, and then hide most of them by default
under
an expander of some sort.
Rather than, you know,
On 09/04/2010 01:27, Bas van Dijk wrote:
On Thu, Apr 8, 2010 at 8:41 PM, Simon Michaelsi...@joyful.com wrote:
With Christian's blessing, I have taken over maintenance of darcsum and
would like to announce the 1.2 release:
Nice! I'm a power user of darcsum and I'm definitely going to try out
On Fri, Apr 9, 2010 at 10:20 AM, Neil Brown nc...@kent.ac.uk wrote:
Ivan Lazar Miljenovic wrote:
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil Mitchell:
http://hackage.haskell.org/trac/ghc/ticket/3263 .
However, does it
Hi, I got an issue when playing haskell's type system, partically parametic
class/instance have no way to specify constrains of their parameters. for
example, i want to data struct to chain functions and their derivatives so we
can have combined function and derivations, as following
import
On Fri, Apr 9, 2010 at 10:59 AM, Job Vranish job.vran...@gmail.com wrote:
On Fri, Apr 9, 2010 at 10:46 AM, Malcolm Wallace
malcolm.wall...@cs.york.ac.uk wrote:
How much cooler it would be, if the wiki-like comment on Hackage could
automatically be converted into a darcs/git/whatever patch,
2010/4/9 Alvaro Vilanova Vidal (viator) alv...@gmail.com:
2) Integration with Haddock docs.
I think it would be best if the pages generated by this system and the
pages generated by Haddock would be integrated as much as possible -
both style wise (sharing CSS, structure, headers, footers,
On 10:21 Fri 09 Apr , Job Vranish wrote:
On Fri, Apr 9, 2010 at 9:46 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Job Vranish job.vran...@gmail.com writes:
I vote for adding a feature that would let people post comments/code
snippets to the documentation of other
On Fri, Apr 9, 2010 at 6:44 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil Mitchell:
http://hackage.haskell.org/trac/ghc/ticket/3263 .
However, does it make
You need to define the instance with `ChainableFunction' and
not `CF' (the latter is value-level, not type level).
Once you make that switch, you'll find yourself with an
instance that is not compatible with the definition of the
`Category' class.
Prelude Control.Category :info
Hi,
In C++, template can be used to enforce the dimension. For example,
F=m*a is OK and F=m*t will issue a compile time error.
Is there a way to do this in Haskell?
Thanks,
Haihua
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Excerpts from Haihua's message of Fri Apr 09 12:28:23 -0400 2010:
In C++, template can be used to enforce the dimension. For example,
F=m*a is OK and F=m*t will issue a compile time error.
Is there a way to do this in Haskell?
http://hackage.haskell.org/package/dimensional
Cheers,
Edward
Hi all,
I'd like transliterate a UTF-8 text to ASCII.
With iconv(1), I would do
iconv -f UTF-8 -t ASCII//TRANSLIT foo
I've tried using Duncan's iconv library, but it seems to give me more
question marks than iconv(1) would, which seems odd if it's the same
library underneath.
In other
Hello Haihua,
Friday, April 9, 2010, 8:28:23 PM, you wrote:
In C++, template can be used to enforce the dimension. For example,
F=m*a is OK and F=m*t will issue a compile time error.
Is there a way to do this in Haskell?
yes. but standard * operation has type t-t-t. so you need either to
On Fri, Apr 09, 2010 at 17:40:37 +0100, Eric Kow wrote:
I'd like transliterate a UTF-8 text to ASCII.
but with my attempts at using Codec.Text.IConv and
examples/hiconv -f utf-8 -t ascii --transliterate, I get
Aonach M?r is a mountain in the Highlands of Scotland.
On va boire un
On Fri, Apr 9, 2010 at 11:22 AM, Louis Zhuang louis.zhu...@acm.org wrote:
However GHC only has kinds for class/instance like (*-*-*) so we are forced
to
allow all possible types in instance code. I'm not sure if I'm modelling
things
correctly or is there another way to do the same thing?
Hi Haskell-Cafe,
I can't get the LLVM bindings for Haskell to install. Does anyone know what
I might need to do? Has anyone seen this error before?
Here's the problem: (Installing from latest darcs source)
llvm-haskell aran$ cabal install
Resolving dependencies...
...snip...
checking for
Hello all
I support the immediate aims of Matthew Gruen's proposal and hope it
gets adopted as a SoC project, but for the 'web2.0' aspects I largely
agree with Nick Bowler.
As a package author, checking disparate wiki pages to help people is
more work than answering emails. Also, if people have
3) Configuration
I haven't looked at this yet but I suspect people will not want
another configuration file in their projects. Perhaps you could
propose some kind of Cabal integration instead.
It would be a shame if I had to figure out how to write a cabal file
for my project and replace the
Just a FYI, there's currently an ongoing discussion in the web-devel mailing
list about the woeful state of documentation in the world of Haskell web
development, and Haskell in general. It seems like some good might come of
combining these two discussions as they both seem to be heading in a
Casey McCann syntaxglitch at gmail.com writes:
{-# LANGUAGE MultiParamTypeClasses, GADTs #-}
import qualified Control.Category as Cat
data ChainableFunction a b where
CF :: (Num a, Num b) = (a-b) - (a-b) - ChainableFunction a b
CFId :: ChainableFunction a a
instance Cat.Category
Simon Michael si...@joyful.com writes:
Unfortunately it will still hang if darcs emits something it can't
parse. An emacs process-filter is used to drive an interactive darcs
command, like an expect script. The process-filter can receive darcs
output in random chunks, so it's hard to
On 4/9/10 11:48 AM, Jose A. Ortega Ruiz wrote:
Maybe i'm not understanding the problem, but cannot you just accumulate
the output in an auxiliary variable and parse the ouput as a whole once
the darcs process finishes?
I think no, because it is driving darcs interactively to select hunks - it
On Fri, Apr 09, 2010 at 09:07:29AM -0700, Bryan O'Sullivan wrote:
On Fri, Apr 9, 2010 at 6:44 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with
-Wall. This is based off a bug report by Neil Mitchell:
Is there a way to persist a [IO ()] to say a file then retrieve it later and
execute it using a sequence function?
Thanks,
Daryoush
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Don Stewart schrieb:
alexey.skladnoy:
Hello
I found that there is no monadic map for vector. It's possible to define to
define such map using conversion to list, but I suppose it's not efficient.
I
didn't make any measurements.
mapM' :: Monad m = (a - m b) - V.Vector a - m (V.Vector b)
On Sat, 10 Apr 2010, Haihua wrote:
Hi,
In C++, template can be used to enforce the dimension. For example,
F=m*a is OK and F=m*t will issue a compile time error.
http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Physical_units
___
On Fri, Apr 09, 2010 at 01:38:21PM -0400, Aran Donohue wrote:
Have you seen anything like this before? Any tips or things to try? I can't
think of what magic setting I'm missing.
Do you have llvm-config on your path?
$ llvm-config
I have in the past installed the LLVM bindings with a $HOME
2010/4/9 Alvaro Vilanova Vidal (viator) alv...@gmail.com:
3) Configuration
I haven't looked at this yet but I suspect people will not want
another configuration file in their projects. Perhaps you could
propose some kind of Cabal integration instead.
That would be awesome. I have to see
On 9 April 2010 18:38, Aran Donohue aran.dono...@gmail.com wrote:
Hi Haskell-Cafe,
I can't get the LLVM bindings for Haskell to install. Does anyone know what
I might need to do? Has anyone seen this error before?
Here's the problem: (Installing from latest darcs source)
I just tried this on
Bryan said a while ago that Manuel Chakravarty had some Mac related
patches for LLVM, don't know if they have been integrated yet.
On 9 April 2010 23:11, Max Bolingbroke batterseapo...@hotmail.com wrote:
On 9 April 2010 18:38, Aran Donohue aran.dono...@gmail.com wrote:
Hi Haskell-Cafe,
I can't
I'm pleased to announce a new release of shelltestrunner, a tool which
aims to make testing command-line programs easy. Thanks to Bernie Pope
for contributing features and valuable feedback.
Example:
$ cabal install shelltestrunner
...
$ cat - a.test
# a simple test - run cat, provide
Simon Michael si...@joyful.com writes:
With Christian's blessing, I have taken over maintenance of darcsum and
would like to announce the 1.2 release:
darcs get http://joyful.com/repos/darcsum -t 1.2
Is it possible to get an actual release version of this put somewhere
rather than having to
I'm pleased to announce a new hledger release, with many bugfixes and
small improvements, GHC 6.12 support, and a separate library package
to make building (h)ledger-compatible tools easier.
Thanks to Oliver Braun and Gwern Branwen for code contributions this
release.
Just in time for tax
The proposal as I submitted it is here:
http://docs.google.com/View?docid=0Afa5MxwyB_zYZGhjanNrdjNfMjkzZjloOWNienYpageview=1hgd=1hl=en
And it might need further revision as I talk to Duncan and the
community. The advanced social features wouldn't get deployed by the
end of the summer, but by
Thomas---The new Mac patches have been integrated in the version I'm using,
according to the darcs log.
Thanks Felipe---indeed, llvm-config is on the path.
Max---I had the same realization about config.log. I managed to get past it
by forcing the Haskell-LLVM build into 64-bit mode, but that led
wikigracenotes:
The proposal as I submitted it is here:
http://docs.google.com/View?docid=0Afa5MxwyB_zYZGhjanNrdjNfMjkzZjloOWNienYpageview=1hgd=1hl=en
And it might need further revision as I talk to Duncan and the
community. The advanced social features wouldn't get deployed by the
end of
68 matches
Mail list logo