On Thu, Jan 31, 2013 at 8:16 AM, Ketil Malde ke...@malde.org wrote:
Ertugrul Söylemez e...@ertes.de writes:
People are using Hackage!
+1. And I keep telling people to use it. Sure, it'd be better if they
used .debs, .rpms, or whatever goes on Mac and Windows. But that would
mean I
On Wed, Jan 30, 2013 at 10:43 PM, Edward Z. Yang ezy...@mit.edu wrote:
This argument seems specious. Whether or not cabal-install is or not
intended to be a package manager, users expect it to act like one (as
users expect rubygems to be a package manager), and, at the end of the
day, that
On Wed, Jan 30, 2013 at 10:48 PM, Edward Z. Yang ezy...@mit.edu wrote:
Excerpts from Ramana Kumar's message of Wed Jan 30 14:46:26 -0800 2013:
This argument seems specious. Whether or not cabal-install is or not
intended to be a package manager, users expect it to act like one (as
Work on deforestation might also be relevant.
On Sun, Jan 20, 2013 at 9:57 AM, Joachim Breitner
m...@joachim-breitner.dewrote:
Dear list,
with rewrite rules I can tell the compiler to replace map id by id,
but I still have to write that rule by hand.
Does anyone of you know about research
On Thu, Dec 13, 2012 at 8:09 PM, Michael Snoyman mich...@snoyman.comwrote:
I also don't think that distributing programs is as small a market as you
think, and should also be something we support for commercial users of
Haskell.
Distributing programs commercially is compatible with
On Thu, Dec 13, 2012 at 5:36 AM, Felipe Almeida Lessa
felipe.le...@gmail.com wrote:
A GPLed containers forces the library user to somehow get a way of
complying to the license.
The language here needs some clarification: the GPL (or other free copyleft
license) only forces someone to do
Using the GPL (or a strong copyleft free license) strengthens the free
software community of which I thought the Haskell community is a part (or
at least intersects substantially).
I'm not sure why people are recommending not to use it.
Let me counter with my recommendation against switching to
12, 2012 at 2:26 AM, Ramana Kumar
ramana.ku...@cl.cam.ac.uk wrote:
Using the GPL (or a strong copyleft free license) strengthens the free
software community of which I thought the Haskell community is a part (or
at least intersects substantially).
I don't think it strengthens the community
problem, and again I have no idea how to read the type
Prelude :t max. 3 2
max. 3 2 :: (Ord b, Num a1, Num (a1 - a - b)) = a - b - b
What does the type mean in plain english?
Daryoush
On Thu, Nov 15, 2012 at 11:56 PM, Ramana Kumar ramana.ku...@cl.cam.ac.uk
wrote:
Another experiment may
Hi Daryoush,
I recommend you try these experiments first, and then reply back if you're
still confused.
:t max
:t (+1)
:t max . (+1)
:t (+1) 2
:t (.)
On Fri, Nov 16, 2012 at 7:10 AM, Daryoush Mehrtash dmehrt...@gmail.comwrote:
I am having hard time understanding how removing the outer
mean now
Prelude :t max. 3 2
max. 3 2 :: (Ord b, Num a1, Num (a1 - a - b)) = a - b - b
Any idea?
Daryoush
On Thu, Nov 15, 2012 at 11:19 PM, Ramana Kumar
ramana.ku...@cl.cam.ac.ukwrote:
Hi Daryoush,
I recommend you try these experiments first, and then reply back if
you're still
Who is the webmaster for haskell.org? Presumably they will be required in
the process of installing the certificate.
As far as obtaining goes, one can obtain a free certificate from StartSSL -
see https://www.startssl.com
There are other CAs, but if nobody has any strong preferences, I recommend
I believe your main question (how do I do my work without wasting time) has
already been answered: use IgnorePkg.
I would like to add, in case you missed it, that there is a mailing list
and community specifically for Haskell on Arch.
Here is the webpage:
If all you want is the Haskell Platform, I believe the Arch policy is to
provide all those packages in the official [extra] repository.
(If those are broken because of the new ghc, just use IgnorePkg to avoid
the ghc update.)
The [haskell] and other ArchHaskell repos are for the rest of Hackage
I support this proposal too.
More reasons to use HTTPS can be found at
https://www.eff.org/https-everywhere/deploying-https
On Sun, Oct 28, 2012 at 8:51 AM, Petr P petr@gmail.com wrote:
2012/10/28 Francesco Mazzoli f...@mazzo.li:
At Sun, 28 Oct 2012 00:20:16 +0100,
Niklas Hambüchen
I encourage you to post this and other job advertisments here as well:
http://www.haskell.org/haskellwiki/Jobs
On Thu, Oct 11, 2012 at 4:05 PM, Doug Beardsley d...@karamaan.com wrote:
Karamaan Group, a principal investment firm based in Manhattan is looking
for an outstanding software
On Wed, Sep 12, 2012 at 7:21 PM, damodar kulkarni kdamodar2...@gmail.comwrote:
Hi,
Correct me if I am wrong, but by looking at the way the message is
created, I think, LinkedIn is acting a kind of spammer these days. Shall we
lodge protest against it as a community?
I'd support such a
On Fri, Sep 7, 2012 at 5:56 PM, Edward Z. Yang ezy...@mit.edu wrote:
Excerpts from David Feuer's message of Fri Sep 07 12:06:00 -0400 2012:
They're not *usually* desirable, but when the code has been proven not to
fall into bottom, there doesn't seem to be much point in ensuring that
On Aug 29, 2012 10:56 PM, Henk-Jan van Tuyl hjgt...@chello.nl wrote:
On Wed, 29 Aug 2012 23:10:24 +0200, Stefan Monnier
monn...@iro.umontreal.ca wrote:
Albert Einstein said:
Insanity: doing the same thing over and over again and expecting
different results.
I repeated the command today
-semantic.html
I think David is working from essentially the same goals you have in mind.
Aaron
On Thu, Aug 23, 2012 at 9:23 AM, Ramana Kumar ramana.ku...@cl.cam.ac.uk
wrote:
Dear Haskell Cafe
I'm looking for information on past and current attempts to write
semantics
for Haskell
On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski krismicin...@gmail.com
wrote:
Still unsure if the translation from
Haskell to Core has been verified, I would suspect not, as I haven't
heard of any such thing.
If it is only Core that has semantics, then it wouldn't make sense to
verify
Dear Haskell Cafe
I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly interested in are:
- formal
- mechanised
- maintainable
- up to date
Of course, if nothing like that exists then partial attempts towards it
could
22 matches
Mail list logo