Simon Marlow marlo...@gmail.com writes:
There's no need to do any page moving or anything; the new version can
just be pasted in.
Ok, done!
http://en.wikipedia.org/wiki/Haskell_%28programming_language%29
After conferring briefly with people on IRC (yeah, on a Saturday
morning, who am I
Hello.
Consider the type: (forall a . a) - String.
On one hand, it is rank-2 polymorphic, because it abstracts over a
rank-1 polymorphic type.
On the other hand, it is monomorphic because it isn't actually
quantified itself: in my intuitive view, a parametrically polymorphic
type has infinitely
2009/12/4 Simon Marlow marlo...@gmail.com:
As noted before, the Wikipedia article for Haskell is a disorganised mess.
http://en.wikipedia.org/wiki/Haskell_%28programming_language%29
earlier this year, dons suggested reorganising it and posted a template on
the Haskell wiki:
Radek Micek wrote:
Hi,
thank you for your reply but your MulExpr
does not support expressions like
(2*3)+5
Oh! You're right, how silly of me.
Martijn.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Fri, Dec 4, 2009 at 8:51 PM, Jeremy Shaw jer...@n-heptane.com wrote:
I have stripped things down to the bare minimum, and test under GHC 6.10,
GHC 6.12, Linux, and Mac OS X. Results are consistent.
In the following code,
1. if you load the code into ghci and evaluate e it will hang, but
Eugene Kirpichov wrote:
Hello.
Consider the type: (forall a . a) - String.
On one hand, it is rank-2 polymorphic, because it abstracts over a
rank-1 polymorphic type.
On the other hand, it is monomorphic because it isn't actually
quantified itself: in my intuitive view, a parametrically
Hi,
I keep this direct binding to libusb-1.0.x:
http://hackage.haskell.org/package/bindings-libusb
on top of which Bas maintains a nice USB library:
http://hackage.haskell.org/package/usb
Work has been done to support libusb-1.0.x in Windows. So, as long
as my bindings-libusb works
Hello all,
Hakyll is a simple static site generator library, mostly aimed at blogs.
It supports markdown, tex and html templates.
It is inspired by the ruby Jekyll program. It has a very small codebase
because it makes extensive use of the excellent pandoc and Text.Template
libraries.
On Sat, Dec 5, 2009 at 4:53 AM, Deniz Dogan deniz.a.m.do...@gmail.com wrote:
2009/12/4 Simon Marlow marlo...@gmail.com:
As noted before, the Wikipedia article for Haskell is a disorganised mess.
http://en.wikipedia.org/wiki/Haskell_%28programming_language%29
earlier this year, dons suggested
Eugene,
Consider the type: (forall a . a) - String.
It's of rank 2.
What is the definition of rank of a polymorphic type?
The minimal rank of a type is given by
rank (forall a. t) = 1 `max` rank t
rank (t - u) = (if rank t == 0 then 0 else rank t + 1) `max`
rank u
rank _
Malcolm Wallace wrote:
The suggestion was to have a single Download button, leading to a
*page* of suitably described links, allowing the user to choose
whether they only wanted the basics (a choice of compiler/interpreter
+ cabal), or the whole Platform, or something else. It would be the
So I decided to try out the Haskell Platform instead of just installing
GHC directly. To be honest, I didn't really notice much difference,
except for the files being installed in a different place. But then,
initially HP ~= GHC; presumably the plan is for it to grow as time goes on.
Anyway,
Hi guys,
I only started learning Haskell some days ago. Maybe one of you can give me
a hint on how to implement a function that needs a character in the range
(a,b,...z) and an integer number k and returns the k-next neighbor of the
character? For example, fct a 5 would result in output f.
M Xyz wrote:
if you get it to work
As a spoiled Java programmer, this new role as pioneer is a bit
intimidating, but I will give it a shot. :)
I wish there was a multimedia standard library for beginners like me.
Writing audio to the speakers shouldn't be such a journey.
MeAdAstra wrote:
Hi guys,
I only started learning Haskell some days ago. Maybe one of you can give me
a hint on how to implement a function that needs a character in the range
(a,b,...z) and an integer number k and returns the k-next neighbor of the
character? For example, fct a 5 would
Careful Gregory, you've hit a hot-button issue: you have dared to refer to
exceptions as errors!
For the record, I find this pedanticism misplaced, as the line between the
two is rather blurry. Nonetheless, for control-monad-failure and attempt, we
purposely refer to the whole slew of things not
Hello Andrew,
Saturday, December 5, 2009, 6:40:23 PM, you wrote:
prominent?) Somebody pointed out this bug 6 months ago. Somebody else
posted a potential fix a month ago. There is no visible activity from
the developers.
Developer. many Haskell problems is due to the fact that we have a few
Unfortunately, I've yet to find a single Haskell package that
binds to C which will actually compile on Windows. :-(
Do you know how can we check dependencies to C libraries in
Windows? Is pkg-config available? What about packages with
no pkg-config configuration?
Thanks,
Maurício
Hello Andrew
Plenty compile on Windows:
Some OpenVG, OpenGL[1] (still? - I'm a bit behind the times) only
compile with MinGW.
Others are fine with Cygwin provided you have the dev packages
installed (readline, pcre-light...).
Yet others - no chance...
If you can get the raw C library to work
On Sat, Dec 05, 2009 at 05:52:11PM +0200, Michael Snoyman wrote:
For the record, I find this pedanticism misplaced, ...
I think you'll find that's pedantry.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Sat, Dec 5, 2009 at 7:41 PM, Ross Paterson r...@soi.city.ac.uk wrote:
On Sat, Dec 05, 2009 at 05:52:11PM +0200, Michael Snoyman wrote:
For the record, I find this pedanticism misplaced, ...
I think you'll find that's pedantry.
Hoped someone would comment exactly that ;).
Hi all,
Well, I've got two problems which both want to be solved with undecidable
and overlapping instances. Obviously, I'd like to try and avoid them. For
the record, the problems have to do with the control-monad-failure and
convertible packages. The code below *should* make clear what I'm
- Apart from HP providing GHC 6.10.4 while Gtk2hs currently requires 6.10.3, it
appears that the Gtk2hs installer package doesn't like GHC being installed in a
path with spaces. Apparently Gtk2hs has a bug tracker. (I only just discovered
this, so perhaps it needs to be more prominent?)
Hello
I am happy to announce a release of small package called readline-statevar.
It's a small wrapping library around readline, which in turn wraps
libreadline. The reason I wrote it is because I wasn't happy with the API of
readline. It was composed of tons of functions like setX/getX, where
M Xyz wrote:
- Apart from HP providing GHC 6.10.4 while Gtk2hs currently
requires 6.10.3, it appears that the Gtk2hs installer package
doesn't like GHC being installed in a path with spaces. Apparently
Gtk2hs has a bug tracker. (I only just discovered this, so perhaps
it
Bulat Ziganshin wrote:
Hello Andrew,
Saturday, December 5, 2009, 6:40:23 PM, you wrote:
prominent?) Somebody pointed out this bug 6 months ago. Somebody else
posted a potential fix a month ago. There is no visible activity from
the developers.
Developer. many Haskell problems is
Andrew Coppin wrote:
Unfortunately, I've yet to find a single Haskell package that binds to C
which will actually compile on Windows. :-(
Take a look at logfloat[1], it builds cleanly on Windows XP using GHC
6.10.1 without needing Cygwin nor Mingw/Msys (however GHCi has some DLL
errors[2]).
Hello Andrew,
Saturday, December 5, 2009, 10:14:17 PM, you wrote:
I did try to get wxHaskell going once or twice. And the SDL binding. (I
wasn't aware we have Qt now...) I've never got any of them to work yet.
it depends on when you have tried. wx made significant progress in
last year or two
Am Samstag 05 Dezember 2009 20:14:17 schrieb Andrew Coppin:
Bulat Ziganshin wrote:
Hello Andrew,
Saturday, December 5, 2009, 6:40:23 PM, you wrote:
prominent?) Somebody pointed out this bug 6 months ago. Somebody else
posted a potential fix a month ago. There is no visible activity from
On Sat, Dec 5, 2009 at 4:48 PM, Jochem Berndsen joc...@functor.nl wrote:
MeAdAstra wrote:
Hi guys,
I only started learning Haskell some days ago. Maybe one of you can give me
a hint on how to implement a function that needs a character in the range
(a,b,...z) and an integer number k and
2009/12/5 Andrew Coppin andrewcop...@btinternet.com:
Interestingly, while you can't compile bindings to external C libraries,
Ah Mr Coppin, maybe you should change you to I.
I had (Haskell bindings) SDL-0.5.3 working August last year - so I
think I would be using GHC 6.8.3 at that time, the
Daniel Fischer wrote:
Am Samstag 05 Dezember 2009 20:14:17 schrieb Andrew Coppin:
Bulat Ziganshin wrote:
Developer. many Haskell problems is due to the fact that we have a few
volunteers doing things and lot of consumers begging for features :)
That *does* in fact seem to be a
Stephen Tetley wrote:
Hello Andrew
Plenty compile on Windows:
Some OpenVG, OpenGL[1] (still? - I'm a bit behind the times) only
compile with MinGW.
Others are fine with Cygwin provided you have the dev packages
installed (readline, pcre-light...).
You're talking about MinGW and Cygwin.
On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
Hi all,
Well, I've got two problems which both want to be solved with undecidable and
overlapping instances. Obviously, I'd like to try and avoid them. For the
record, the problems have to do with the control-monad-failure and
I'm constantly amused by those who manage to use Windows without
installing Cygwin.
On 5 Dec 2009, at 23:33, Andrew Coppin wrote:
Stephen Tetley wrote:
Hello Andrew
Plenty compile on Windows:
Some OpenVG, OpenGL[1] (still? - I'm a bit behind the times) only
compile with MinGW.
Others are
fct a n = (snd $ break (==a) ['a'..'z']) !! n
Hi guys,
I only started learning Haskell some days ago. Maybe one of you can give me
a hint on how to implement a function that needs a character in the range
(a,b,...z) and an integer number k and returns the k-next neighbor of the
character? For
On Sat, Dec 5, 2009 at 10:33 PM, José Iborra pepeibo...@gmail.com wrote:
On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
Hi all,
Well, I've got two problems which both want to be solved with undecidable
and overlapping instances. Obviously, I'd like to try and avoid them. For
the
Hi Andrew
2009/12/5 Andrew Coppin andrewcop...@btinternet.com:
I don't think it should be necessary to install a Unix emulator just so that
I can write Windows programs. Maybe others disagree.
...
I'm by no means an expert here, but isn't it usual for C libraries on
Windows to be
2009/12/5 Stefan Holdermans ste...@cs.uu.nl:
Eugene,
Consider the type: (forall a . a) - String.
It's of rank 2.
What is the definition of rank of a polymorphic type?
The minimal rank of a type is given by
rank (forall a. t) = 1 `max` rank t
rank (t - u) = (if rank t == 0 then 0
Miguel Mitrofanov wrote:
I'm constantly amused by those who manage to use Windows without
installing Cygwin.
I'm constantly puzzled by those who think that Cygwin is a mandatory
part of Windows. ;-)
___
Haskell-Cafe mailing list
Am Samstag 05 Dezember 2009 21:31:39 schrieb Andrew Coppin:
Daniel Fischer wrote:
Am Samstag 05 Dezember 2009 20:14:17 schrieb Andrew Coppin:
Bulat Ziganshin wrote:
Developer. many Haskell problems is due to the fact that we have a few
volunteers doing things and lot of consumers begging
Am Samstag 05 Dezember 2009 21:43:13 schrieb Miguel Mitrofanov:
I'm constantly amused by those who manage to use Windows without
installing Cygwin.
I'm constantly amazed by those who manage to use Windows.
(In case you want to misunderstand, it's not a Windows bashing, I just never
managed
On Thu, Dec 03, 2009 at 01:50:06PM -0800, Gregory Crosswhite wrote:
Or, even more concisely:
==
sumWithError_3 = liftM2 (+)
==
Unfortunately though, neither of these definitions have the
On Friday December 4, 2009, John MacFarlane wrote:
I used criterion to compare pandoc compiled with parsec2 to
pandoc compiled with your version of parsec3. (The benchmark
is converting testsuite.txt from markdown to HTML.) The difference
was minor:
parsec2:
mean: 67.66576 ms, lb
Am Samstag 05 Dezember 2009 21:51:26 schrieb Michael Snoyman:
On Sat, Dec 5, 2009 at 10:33 PM, José Iborra pepeibo...@gmail.com wrote:
Since you have already decided MPTCs are ok, in my opinion undecidable
instances are fine here.
But I realize this is not the usual stance, so I might be
Eugene,
1) Does there exist an authoritative source saying the same? Not that
I'm doubting, just supposing that the source would have other
interesting information, too :)
You may want to have a look at the already mentioned JFP-article by
Peyton Jones et al. and perhaps the work of Kfoury
+++ Howard B. Golden [Dec 05 09 13:36 ]:
On Friday December 4, 2009, John MacFarlane wrote:
I used criterion to compare pandoc compiled with parsec2 to
pandoc compiled with your version of parsec3. (The benchmark
is converting testsuite.txt from markdown to HTML.) The difference
was
--- On Sat, 12/5/09, Daniel Fischer daniel.is.fisc...@web.de wrote:
I thought in this case, it was a proposed change in the installer, so you'd
only have to
change that and could leave the gtk2hs binary untouched. Of course that can
only work if
Windows installers are some sort of script
Daniel Fischer wrote:
I'm constantly amazed by those who manage to use Windows.
(In case you want to misunderstand, it's not a Windows bashing, I just never managed to
work with it
I've not had a lot of luck with Linux. I imagine this is merely due to
having a lot more experience with
Compiling the C PortAudio library for either Cygwin or MinGW will be
challenging at the moment.
The current release doesn't compile as is, and although there should
be patch for the configure script as an attachment to this message it
seems to have gone amiss:
Try Mac.
/commercial
On 6 Dec 2009, at 01:00, Andrew Coppin wrote:
Daniel Fischer wrote:
I'm constantly amazed by those who manage to use Windows.
(In case you want to misunderstand, it's not a Windows bashing, I
just never managed to work with it
I've not had a lot of luck with Linux.
Miguel Mitrofanov wrote:
Try Mac.
/commercial
You're not the first to suggest this either. ;-)
Maybe once I get hired by some financial modelling consultants and get
paid shedloads of money to write Haskell all day, I'll be able to afford
a Mac. But until then...
Recall that the definition of liftM2 is
==
liftM2 :: (Monad m) = (a1 - a2 - r) - m a1 - m a2 - m r
liftM2 f m1 m2 = do { x1 - m1; x2 - m2; return (f x1 x2) }
==
which, if I understand
I think there are some misapprehensions here:-
many haskell packages binding to c libraries will compile with ghc
without problems on windows - without cygwin, without mingw/msys system.
Some such packages build out of the box on windows, like the zlib
package which contains the c source for
On Sat, 5 Dec 2009, Michael Snoyman wrote:
On Sat, Dec 5, 2009 at 7:41 PM, Ross Paterson r...@soi.city.ac.uk wrote:
On Sat, Dec 05, 2009 at 05:52:11PM +0200, Michael Snoyman wrote:
For the record, I find this pedanticism misplaced, ...
I think you'll find that's pedantry.
On Sun, Dec 6, 2009 at 12:17 AM, Henning Thielemann
lemm...@henning-thielemann.de wrote:
On Sat, 5 Dec 2009, Michael Snoyman wrote:
On Sat, Dec 5, 2009 at 7:41 PM, Ross Paterson r...@soi.city.ac.uk
wrote:
On Sat, Dec 05, 2009 at 05:52:11PM +0200, Michael Snoyman wrote:
For the
On Sun, 6 Dec 2009, Michael Snoyman wrote:
I think there are plenty of examples like web servers. A text editor with
plugins? I
don't want to lose three hours worth of work just because some plugin wasn't
written
correctly. For many classes of programs, the distinction between error and
On Sun, Dec 6, 2009 at 12:55 AM, Henning Thielemann
lemm...@henning-thielemann.de wrote:
On Sun, 6 Dec 2009, Michael Snoyman wrote:
I think there are plenty of examples like web servers. A text editor with
plugins? I
don't want to lose three hours worth of work just because some plugin
Stephen,
I had no problem compiling the portaudio binaries on Windows. It came with a
msvc project that worked. The problem I'm getting currently is that when I
cabal install portaudio etc etc I get a c2hs.exe does not exist error when
c2hs.exe clearly exists and is in my system path. Just
On Dec 5, 2009, at 3:00 PM, Michael Snoyman wrote:
I think we can all appreciate why it would be a bad thing is we treat
exceptions as errors. For example, I don't want my program to crash on a file
not found.
On the other hand, what's so bad about treating errors as exceptions? If
Am Sonntag 06 Dezember 2009 00:10:05 schrieb M Xyz:
Stephen,
I had no problem compiling the portaudio binaries on Windows. It came with
a msvc project that worked. The problem I'm getting currently is that when
I cabal install portaudio etc etc I get a c2hs.exe does not exist error
when
--- On Sat, 12/5/09, Daniel Fischer daniel.is.fisc...@web.de wrote:
Try
cabal install --with-c2hs=C:\path\to\c2hs.exe portaudio
maybe that'll work. If not, run cabal --verbose=3 install portaudio,
perhaps that gives more information about what went wrong.
Daniel, Thank you for your
Am Sonntag 06 Dezember 2009 00:47:38 schrieb M Xyz:
Daniel, Thank you for your thoughtful reply. I didn't know about those
flags. The log is fairly long, and as I'm new to Haskell and Cabal it is
mostly meaningless to me. I see very many incidences of searching for ___
in path. Cannot find ___
Am Sonntag 06 Dezember 2009 01:49:49 schrieb M Xyz:
I just had another idea.
da...@linux-mkk1:~ c2hs -o memyself.hs memyself.chs
c2hs: does not exist
it's not that c2hs isn't found or something, c2hs doesn't find Base.chs!
Try installing from the unpacked sources (cd portaudio; cabal install)
On Sat, 5 Dec 2009, Henning Thielemann wrote:
On Sun, 6 Dec 2009, Michael Snoyman wrote:
I think there are plenty of examples like web servers. A text editor with
plugins? I
don't want to lose three hours worth of work just because some plugin
wasn't written
correctly. For many classes of
--- On Sat, 12/5/09, Daniel Fischer daniel.is.fisc...@web.de wrote:
cd portaudio-0.0.1
ghc --make Setup
../Setup configure --help
(choose your options, prefix, profiling, ...)
../Setup configure $OPTIONS
../Setup build
Everything went well until Setup build which yielded our friend
I am going to give this a try. Thanks.
Where can I get the pexports and dlltool utilities?
Google yields:
http://www.emmestech.com/software/pexports-0.43/download_pexports.html
http://sourceware.org/binutils/
Are those correct?
--- On Sat, 12/5/09, john lask jvl...@hotmail.com wrote:
From:
John Lask,
The steps you enumerated below successfully built portaudio for me! Thank you!
I wonder though, you said to rename the dll to libpa19.dll from
portaudio_x86.dll
and to change the .cabal entry from extra-Libraries: portaudio to
extra-Libraries: pa19.
Since my .dll name and .cabal
I know this is basically a rewording of a previous e-mail, but I realized
this is the question I *really* wanted to ask.
We have this language extension UndecidableInstances (not to mention
OverlappingInstances), which seem to divide the Haskell camp into two
factions:
* Hey, GHC said to turn on
On Sat, Dec 5, 2009 at 10:04 PM, Michael Snoyman mich...@snoyman.com wrote:
I know this is basically a rewording of a previous e-mail, but I realized
this is the question I *really* wanted to ask.
We have this language extension UndecidableInstances (not to mention
OverlappingInstances),
On Sun, Dec 6, 2009 at 7:36 AM, Luke Palmer lrpal...@gmail.com wrote:
On Sat, Dec 5, 2009 at 10:04 PM, Michael Snoyman mich...@snoyman.com
wrote:
I know this is basically a rewording of a previous e-mail, but I realized
this is the question I *really* wanted to ask.
We have this
In particular, the motivation for this package was that I have written
a build system, and I wanted to collect as many errors in the build as
possible and show them all to the user at once.
YMMV, but at least for me a deluge of errors is less helpful than a
short list I can fix quickly, then
2009/12/6 Stefan Holdermans ste...@cs.uu.nl:
Eugene,
1) Does there exist an authoritative source saying the same? Not that
I'm doubting, just supposing that the source would have other
interesting information, too :)
You may want to have a look at the already mentioned JFP-article by Peyton
On Thu, 03 Dec 2009 10:52:35 +, Duncan Coutts
duncan.cou...@googlemail.com wrote:
[...]
There no binary platform installer for OSX PPC. You'll have to grab
ghc-6.10.4 for PPC from the ghc download page and then install the
platform from the generic source tarball.
Ah, that's too bad. That
On Sunday 06 December 2009 1:42:34 am Eugene Kirpichov wrote:
OK, thanks.
However, isn't the type (forall a . a) - String impredicative because
it instantiates a type variable of the type constructor (-) p q with
p = forall a . a?
There's probably no clear cut answer to this independent of
75 matches
Mail list logo