http://{code,community,projects}.haskell..org/ seem to be inaccessible.
Could someone please look into it?
Thanks, Jens
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Why does this happen so often? Broken hardware, software crash,
bandwidth overuse, etc.? I have 200GB of bandwidth/month on the
tryhaskell.org server. It's not much but hopefully I can make a
Hackage mirror out of it one weekend for when the main server goes
down.
On 5 May 2010 09:05, Jens
Hi all
A cursory look at Happstack.Crypto.MD5 shows it uses -fvia-c:
{-# LANGUAGE BangPatterns #-}
{-# OPTIONS_GHC -funbox-strict-fields -fvia-c -optc-funroll-all-loops
-optc-O3 #-}
--
-- Module : Happstack.Crypto.MD5
-- License : BSD3
GHC (on Windows) comes with perl so it
I've notice a behaviour of quickcheck that is unexpected to me. With
this code:
import Test.QuickCheck
main = check myconfig
((\v - v == v) :: (Maybe Double,Maybe Double) - Bool)
myconfig = defaultConfig{configMaxTest=10,
configEvery = \n args - show n ++ :\n
your quick check property (in a different way of writing) is the following:
prop_1 :: Maybe Double - Bool
prop_1 v = v == v
but what you want is actually the following:
prop_2 :: Maybe Double - Maybe Double - Bool
prop_2 v1 v2 = v2 == v2
if I understood the problem correctly, using prop_2
On Thu, 29 Apr 2010, Stephen Tetley wrote:
I've upload precis to Hackage - a diff tool for Cabal packages.
I have added a note to:
https://www.haskell.org/haskellwiki/Package_versioning_policy
___
Haskell-Cafe mailing list
Limestraël limestrael at gmail.com writes:
(*) functional language, because I want to keep the benefit of functional
programming for scripting. So no Lua, no Python...
You might want to take another look at lua. It is pretty darn functional. Also
fast, small, and seems to be even easier to
There is a typo, in my previous post, It should have been: prop_2 v1 v2 = v1
== v2
not: prop_2 v1 v2 = v2 == v2
Moreover, I realised that the (nice) function verboseCheck doesn't exist in
QuickCheck 2. However you can always do the following in ghci, to see
whether my suggestion works or not:
+1 to keep it until equivalent functionality is made mainline
I've had tinyurl.com/haskelldoc aliased to the main frame page
(http://www.haskell.org/ghc/docs/6.12.2/html/libraries/frames.html) and
used it extensively on a daily basis for GHC libraries and GHC API
browsing. Navigating the current
I think it would be nice in general to be able to mirror at least
hackage.haskell.org. Something like rsync would be close to ideal for
this purpose.
Reasons I would like to mirror hackage:
1 - Provide alternative when the main hackage is down
2 - Access to the sources of all uploaded packages
On Wed, 5 May 2010, Roel van Dijk wrote:
I think it would be nice in general to be able to mirror at least
hackage.haskell.org. Something like rsync would be close to ideal for
this purpose.
Reasons I would like to mirror hackage:
1 - Provide alternative when the main hackage is down
2 -
Stephen Tetley stephen.tet...@gmail.com writes:
Hi all
A cursory look at Happstack.Crypto.MD5 shows it uses -fvia-c:
{-# LANGUAGE BangPatterns #-}
{-# OPTIONS_GHC -funbox-strict-fields -fvia-c -optc-funroll-all-loops
-optc-O3 #-}
I would hazard a guess that this is at an attempt to
Hi Henning
Thanks.
I'm open to suggests for prettifying the output, or adding further
comparisons. While coding precis, I decided that trying to police
version numbers would be impractical so I decided to focus on
changes/diffs instead.
By the way - on the Package version policy page, Section 2
On 5 May 2010 09:01, Ozgur Akgun ozgurak...@gmail.com wrote:
your quick check property (in a different way of writing) is
the following:
prop_1 :: Maybe Double - Bool
prop_1 v = v == v
I think you misunderstood me. The property was fabricated just for
On Wed, 5 May 2010, Stephen Tetley wrote:
I'm open to suggests for prettifying the output, or adding further
comparisons. While coding precis, I decided that trying to police
version numbers would be impractical so I decided to focus on
changes/diffs instead.
Sure, but it helps to get an
On Wed, 2010-05-05 at 12:13 +1000, Ivan Miljenovic wrote:
On 5 May 2010 12:04, Maciej Piechotka uzytkown...@gmail.com wrote:
1. I downloaded happstack-utile[1]
2. Edited cabal file
3. Installed it successfully linking with parsec 3.1
4. I tried to run cabal install happstack --constraint
Maciej Piechotka uzytkown...@gmail.com writes:
Also, I note that you seem to use the Gentoo Haskell overlay (as
you've made bug reports about it) but you're also building packages by
hand; this can also lead to problems (don't mix your packages kids!).
Possibly but:
- I'd like to have
On May 4, 2010, at 11:20 PM, Michael Snoyman wrote:
Hey Jeremy,
I see below that you included the experimental WAI support. I'm
excited to try it out, but I don't see it in happstack-server (maybe
I'm blind). Could you point it out?
Hello,
I should have been more explicit about this,
How do you embed Lua in Haskell?
2010/5/5 Niclas W nicl...@gmail.com
Limestraël limestrael at gmail.com writes:
(*) functional language, because I want to keep the benefit of functional
programming for scripting. So no Lua, no Python...
You might want to take another look at lua. It is
Limestraël limestr...@gmail.com writes:
How do you embed Lua in Haskell?
http://hackage.haskell.org/package/hslua
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On 5 May 2010 11:38, Tim Docker t...@dockerz.net wrote:
On 5 May 2010 09:01, Ozgur Akgun ozgurak...@gmail.com wrote:
your quick check property (in a different way of writing) is
the following:
prop_1 :: Maybe Double - Bool
prop_1 v = v == v
I think you
Thanks!
However, I don't forget that my goal is to get a system monitor
configuration language.
Lua may have some functional components, it remains imperative, I think a
more declarative language like Scheme would be more appropriate (and there
is also a scheme interpreter, haskeem).
What do you
Hello Ivan,
Wednesday, May 5, 2010, 4:43:48 PM, you wrote:
How do you embed Lua in Haskell?
http://hackage.haskell.org/package/hslua
tutorial: http://haskell.org/haskellwiki/HsLua
--
Best regards,
Bulatmailto:bulat.zigans...@gmail.com
On Wed, May 5, 2010 at 2:41 PM, Jeremy Shaw jer...@n-heptane.com wrote:
On May 4, 2010, at 11:20 PM, Michael Snoyman wrote:
Hey Jeremy,
I see below that you included the experimental WAI support. I'm excited to
try it out, but I don't see it in happstack-server (maybe I'm blind). Could
Maciej Piechotka schrieb:
On Wed, 2010-05-05 at 01:09 +0200, Daniel Fischer wrote:
On Mittwoch 05 Mai 2010 00:55:38, Maciej Piechotka wrote:
I try to configure happstack with parsec 3.1. It seems to fail due to
cabal:
happstack-util.cabal says parsec 3, so --constraint=parsec 3 and the
Hi everyone. It's just over three months until the traditional time for
Anglohaskell, so I wanted to ask: is anyone willing to step up and run
it this year? We had a volunteer at last year's event, but I've
forgotten who. It was also suggested that emails about the organisation
and planning of
On May 5, 2010, at 8:01 AM, Michael Snoyman wrote:
alas, there is no happstack-wai specific demo at the moment. But, if
there was, it would look a lot like a normal happstack-server app...
It wouldn't look like a normal WAI app? If you want something like
that, Simon Hengel wrote a nice
On Wednesday 05 May 2010 15:45:38, Henning Thielemann wrote:
Maciej Piechotka schrieb:
On Wed, 2010-05-05 at 01:09 +0200, Daniel Fischer wrote:
On Mittwoch 05 Mai 2010 00:55:38, Maciej Piechotka wrote:
I try to configure happstack with parsec 3.1. It seems to fail due
to cabal:
As the author of haskeem, I'm thrilled that you are considering it,
but to be honest I'm not quite sure it's embeddable in the way (I
think) you want. If you want to give it a try, though, I'd be more
than happy to try to help.
best, Uwe
On 5/5/10, Limestraël limestr...@gmail.com wrote:
Thanks!
Hi all,
I am trying to get lhs2TeX to work. I installed the package using cabal, and
now I try to run it on a very simple *.lhs file.
But it blames me and says user error, cannot find lhs2TeX.fmt:
lhs2TeX: user error (File `lhs2TeX.fmt' not found in search path:
And, when I check the search
Maciej Piechotka wrote:
After change of file you have to wait a long time as it compiles and
links with yi.
But Yi is a far bigger application than what Limestraël is talking
about. One of my computers is very old and much
less powerful than yours (let's just say that it has far less than
1 Gb
Ketil Malde ketil at malde.org writes:
As for code size, the programs are heavily tuned for speed.
iirc there was a community effort 2 or 3 years ago, but now ghc has changed
enough that the compiler and runtime parameters seem to need re-tuning.
Is it an idea to go back a few steps to
igouy2:
Ketil Malde ketil at malde.org writes:
As for code size, the programs are heavily tuned for speed.
iirc there was a community effort 2 or 3 years ago, but now ghc has
changed enough that the compiler and runtime parameters seem to need
re-tuning.
Even longer ago -- some of
Alp Mestanogullari wrote:
Hello -cafe,
When I started learning Haskell, I saw the AI page [1] which aimed at
creating a sound, uniform and handy framework for AI programming in
Haskell. I added my name on it and thought a bit about it. I even wrote
a first version of HNN [2], a neural
Hi everybody,
Is it reasonable to add deriving Typeable to newtype Q?
In case you wonder why I want to do that, it is because I've constructed a Q
[Dec] inside a monad, I want to extract it from the monad (via runIO) and
the monad has constraint Typeable over this parameter.
I've also tried to
On Wed, May 5, 2010 at 6:10 PM, Neal Alexander relapse@gmx.com wrote:
Yea, I'm interested. Over the last several months I've been reading a few
books on AI and have been trying to distill a Haskell library out of them:
The library is pretty primitive so far, but this is what i have laid
On Wed, May 5, 2010 at 12:10 PM, Neal Alexander relapse@gmx.com wrote:
- Goal Oriented Behaviors (work in progress)
- Goal Oriented Planning (work in progress)
I have a library for PDDL parsing and representation[1] that I used in
a recent paper. It's heavy complex types to deal with
That could be interesting. I guess we can discuss its integration, and how
it would be done. Thus, you may be interested in my next message, about the
mailing list and the repository. Thanks for your interest!
On Wed, May 5, 2010 at 8:03 PM, Ron Alford ronw...@volus.net wrote:
On Wed, May 5,
By the way, if someone on this list has got too much time, he could write
something that would fulfill the goals of literate programming -- à la web and
cweb.
Knuth was able to make books with his source code. I believe that lhs2tex is
great for classes about haskell or fp, but I never found it
Okay, people, if you're interested in this project, there are several things
you should / may want to do.
First, we now have a mailing list for discussing what should be part of that
project, how things will be organized, etc.
Please subscribe on this page :
I'm still not always sure how things are done in Haskell, but I'd like
to propose another alternative, or, saying more correctly, I'd like to
question how real this alternative is. What if scripting would be done
with something like lambdabot, mueval or hint? Do scripts always need
to be compiled?
Ok, I think I should clarify.
I believe that the framed view with a long list of modules on the left
and the haddocks on the right is still useful. What I don't mind
getting rid off is the third frame which shows the contents of the
mini_* files. I would have preferred to have something similar
Hello,
after a long year, I've finally managed to upload the new version of
Holumbus-Distribution to Hackage.
Holumbus-Distribution offers distributed data structures like Chan, MVar
or functions. These data types can be used for inter-process
communication. With the help of this library it is
Actually lambdabot and mueval use the GHC api, and hint is supposed to be a
wrapper around it. But using the API directly is quite simple, and the scripts
are indeed compiled.
I believe that the purpose of scripting an application is adding fun factor to
it. How many haskell programmers are
I've generated large LaTeX documents with several modules without too much
hassle. The key was to use %include a lot, as well as conditionals. Lots of %if
False around import statements.
-chris
On 5 mei 2010, at 20:18, Pierre-Etienne Meunier wrote:
By the way, if someone on this list has got
Yes, the xmonad approach is very neat, but I see 2 major (IMO) drawbacks to
it:
1) The end-user has to have GHC, and all the necessary libraries to compile
the configuration
2) A scripting language should be simple and QUICK to learn : Haskell is
clean, powerful but its learning takes time
Uwe, I
Hello!
I need to submit data to HTTP server using UTF8 encoding. I found out that
libcurl for haskell can work with Data.ByteString - but it seems not able to
work with Data.ByteString.UTF8.
Can you please advice, how do I convert Data.ByteString.UTF8 into
Data.ByteString and visa versa?
Thank
On Wednesday 05 May 2010 23:05:10, Eugeny N Dzhurinsky wrote:
Hello!
I need to submit data to HTTP server using UTF8 encoding. I found out
that libcurl for haskell can work with Data.ByteString - but it seems
not able to work with Data.ByteString.UTF8.
Can you please advice, how do I
Concerning your second point, I think just about any functional language
isn't going to be simple or quick to learn. It's simply not a way of
approaching problems that your average person (even your average programmer)
is used to dealing with. Things like fold and map, the work horses of
* On Sunday, May 02 2010, Alexander Dunlap wrote:
Of course, there are situations where it is really awkward to not use
partial functions, basically because you *know* that an invariant is
satisfied and there is no sane course of action if it isn't. To take a
contrived example:
f ys = let xs =
Hi,
You might want to take a look at TagSoup
(http://community.haskell.org/~ndm/tagsoup) - it parses XML/HTML
lazily returning a stream of tags. It doesn't do nesting, but it does
have good memory usage.
Thanks, Neil
On Fri, Apr 30, 2010 at 11:35 AM, R Senington sc06...@leeds.ac.uk wrote:
Dear
I do agree, but you will not object if I say that scheme is quicker to learn
than Haskell.
Most of all, I think Haskell is far too rigorous to serve scripting purposes
for my app. Quick and dirty is clearly not the Haskell way.
And is think its the very intrinsic nature of scripting to be done
On Wed, May 5, 2010 at 4:29 PM, Limestraël limestr...@gmail.com wrote:
Yes, the xmonad approach is very neat, but I see 2 major (IMO) drawbacks to
it:
1) The end-user has to have GHC, and all the necessary libraries to compile
the configuration
2) A scripting language should be simple and
Well, it is clear that, for me, the dyre approach is clearly the simplest to
implement, since everything is in Haskell.
Maybe I could start with it, and see if it suits me... (Sorry, I know, ^^ I
keep changing my mind...)
2010/5/5 Gwern Branwen gwe...@gmail.com
On Wed, May 5, 2010 at 4:29 PM,
ErrorT is just a newtype wrapper, changing the order/application of
the type variables.
newtype ErrorT e m a = ErrorT (m (Either e a))
runErrorT (ErrorT action) = action
This gives the bijection:
ErrorT :: m (Either e a) - ErrorT e m a
runErrorT :: ErrorT e m a - m (Either e a)
We can now
On Wednesday 05 May 2010 23:36:26, Limestraël wrote:
but you will not object if I say that scheme is quicker to learn
than Haskell.
Well, I do object. Learning Haskell went like a breeze (not to perfection,
but well enough). Only Python was nearly as easy and quick to learn.
Learning Lisp
On May 5, 2010, at 3:09 PM, Daniel Fischer wrote:
Learning Lisp dialects is much harder (to a large part because of the
parentheses, which makes them near impossible to parse).
On the contrary, the whole point of parentheses is that it makes Lisp *easier*
to parse... for computers. :-)
Hello,
I'm switching from darcs to mercurial with some of my projects.
I'd like to retain as much of the history as possible, what tools are
there available for this?
Günther
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Günther Schmidt wrote:
Hello,
I'm switching from darcs to mercurial with some of my projects.
I'd like to retain as much of the history as possible, what tools are
there available for this?
The cannonical revision control conversion tool is called tailor:
On May 5, 10:57 pm, Ozgur Akgun ozgurak...@gmail.com wrote:
Let me try to understand you then. What happens when you run the following
command in ghci?
sample (arbitrary :: Gen (Maybe Int, Maybe Int) )
Do you still always get (Just _, Just _) or (Nothing, Nothing) pairs, or do
you also get
R Senington sc06...@leeds.ac.uk writes:
Dear all,
I have been looking at using XML for a little program I have been writing. The
file I am currently trying to load is about 9MB, and I have now tried to use
HaXml and HST. Without any of my own code, just a simple call to the basic
parsers,
On 6 May 2010 02:17, Leonel Fonseca leone...@gmail.com wrote:
Is it reasonable to add deriving Typeable to newtype Q?
With GeneralizedNewtypeDeriving you mean? If so, then I don't see why
it would be a problem.
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
Well, based on what you want your priorites to be, I might bow out
then (at least until you start wanting to have graph-centric
operations in there, then I might pitch in).
On 6 May 2010 04:23, Alp Mestanogullari a...@mestan.fr wrote:
We also have patch-tag project
:
On 6 May 2010 04:18, Pierre-Etienne Meunier
pierreetienne.meun...@gmail.com wrote:
By the way, if someone on this list has got too much time, he could write
something that would fulfill the goals of literate programming -- à la web
and cweb.
Knuth was able to make books with his source code. I
On 6 May 2010 08:25, Gregory Crosswhite gcr...@phys.washington.edu wrote:
On May 5, 2010, at 3:09 PM, Daniel Fischer wrote:
Learning Lisp dialects is much harder (to a large part because of the
parentheses, which makes them near impossible to parse).
On the contrary, the whole point of
2010/5/6 Günther Schmidt gue.schm...@web.de:
I'm switching from darcs to mercurial with some of my projects.
Out of curiosity, why?
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
___
Haskell-Cafe mailing list
On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic
ivan.miljeno...@gmail.comwrote:
Well, based on what you want your priorites to be, I might bow out
then (at least until you start wanting to have graph-centric
operations in there, then I might pitch in).
Well, we do now want it to be
On 6 May 2010 11:17, Alp Mestanogullari a...@mestan.fr wrote:
On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic ivan.miljeno...@gmail.com
wrote:
Well, based on what you want your priorites to be, I might bow out
then (at least until you start wanting to have graph-centric
operations in there,
On May 4, 9:46 am, Bartek Ćwikłowski paczesi...@gmail.com wrote:
hello,
2010/5/4 John Creighton johns2...@gmail.com:
I will continue to try to solve the problem on my own but at the
moment I'm able to get IsSuperSet to work but not the classes Isa,
Child and IsSubSet to work. Unlike
Fifty years ago someone came up with this idea of lisp and parentheses. By now
in year 2010, I have never heard of any programmer who never made jokes about
it. Now imagine the discussions in 2060 :
- ahah, you're still programming with monads. lol
- no but theyre ok for dirty scripting.
- all
We won't hesitate. Anyway, a part of your work will benefit HNN ;-)
(and potential a potential Bayesian network library, e.g)
Good luck to you for the work on graphs guys!
On Thu, May 6, 2010 at 3:20 AM, Ivan Miljenovic
ivan.miljeno...@gmail.comwrote:
On 6 May 2010 11:17, Alp Mestanogullari
Re-CC'ing -cafe:
On 6 May 2010 12:54, Leonel Fonseca leone...@gmail.com wrote:
I wasn't aware of GeneralizedNewtypeDeriving.
I just edited the source file Language.Haskell.TH.Syntax
and left:
newtype Q a = Q { unQ :: forall m. Quasi m = m a }
deriving Typeable
Hang on, is Q something
In order to run apps built with wxHaskell on OS X, you're supposed to wrap
the binary using a script called macosx-app (
http://www.haskell.org/haskellwiki/WxHaskell/MacOS_X).
Unfortunately, after running cabal install wx this file is not in
~/.cabal - it's also not in the wxHaskell source.
Does
On 6 May 2010 13:25, Bill Atkins watk...@alum.rpi.edu wrote:
In order to run apps built with wxHaskell on OS X, you're supposed to wrap
the binary using a script called macosx-app
(http://www.haskell.org/haskellwiki/WxHaskell/MacOS_X).
Unfortunately, after running cabal install wx this file is
I've seen forall used in a few places related to Haskell. I know their
is a type extension call explicit forall but by the way it is
documnted in some places, the documentation makes it sound like it
does nothing usefull.
However on Page 27 of Haskell's overlooked object system:
We define an
I was doing the following:
do status - mapM PF.getFileStatus filenames
let times = map PF.modificationTime status
let sorted = sortBy (\(_, t1) (_,t2) - compare t1 t2) (zip filenames times)
and I thought, surely I can combine the status and times definitions into one
line, only I can't.
On 6 May 2010 15:01, bri...@aracnet.com wrote:
I was doing the following:
do status - mapM PF.getFileStatus filenames
let times = map PF.modificationTime status
let sorted = sortBy (\(_, t1) (_,t2) - compare t1 t2) (zip filenames times)
times - mapM (liftM PF.modificationTime .
On Thu, 6 May 2010 15:07:30 +1000
Ivan Miljenovic ivan.miljeno...@gmail.com wrote:
On 6 May 2010 15:01, bri...@aracnet.com wrote:
I was doing the following:
do status - mapM PF.getFileStatus filenames
let times = map PF.modificationTime status
let sorted = sortBy (\(_, t1)
On 6 May 2010 15:20, bri...@aracnet.com wrote:
well now it's obvious :-) I did have liftM in there, but just couldn't
quite figure out how to tie things together.
to be completely clear : liftM takes modificationTime from
Status - EpochTime
to
IO Status - IO EpochTime
You can see it
Hi all,
I would like to pool my database connections in an application I'm writing,
and so far haven't found any prior art on the subject (besides this[1]). I
was wondering if:
* There's a package somewhere that does this
* Others have implemented it and have suggestions
* There's some big
80 matches
Mail list logo