On Thu, Jan 31, 2013 at 8:16 AM, Ketil Malde wrote:
>
> Ertugrul Söylemez 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 would need to build
On Wed, Jan 30, 2013 at 10:48 PM, Edward Z. Yang 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
> > > users exp
On Wed, Jan 30, 2013 at 10:43 PM, Edward Z. Yang 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 is what matt
Work on deforestation might also be relevant.
On Sun, Jan 20, 2013 at 9:57 AM, Joachim Breitner
wrote:
> 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 into inferring
On Thu, Dec 13, 2012 at 8:09 PM, Michael Snoyman wrote:
> 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 distributing them as
free
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 d
n case (and cumulatively).
>>>
>>>
>>> On Tue, Dec 11, 2012 at 5:50 PM, Jonathan Fischer Friberg <
>>> odysso...@gmail.com> wrote:
>>>
>>>> On Wed, Dec 12, 2012 at 2:26 AM, Ramana Kumar <
>>>> ramana.ku...@cl.cam.ac.uk>
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 th
ush Mehrtash
> wrote:
>
>> Yes, same 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 plai
ature of this expression 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
> wrote:
>
>> Hi Daryoush,
>&
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 wrote:
> I am having hard time understanding how removing the outer parenthesis in
>
> (
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
g
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
tha
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: https://wiki.archlinux.org/index.php/ArchH
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 wrote:
> 2012/10/28 Francesco Mazzoli :
> > At Sun, 28 Oct 2012 00:20:16 +0100,
> > Niklas Hambüchen wrote:
> >> (I have mentioned t
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 wrote:
> Karamaan Group, a principal investment firm based in Manhattan is looking
> for an outstanding software developer to develop too
On Wed, Sep 12, 2012 at 7:21 PM, damodar kulkarni wrote:
> 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 protest.
> As an asid
On Fri, Sep 7, 2012 at 5:56 PM, Edward Z. Yang 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
> > things will w
On Aug 29, 2012 10:56 PM, "Henk-Jan van Tuyl" 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
On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski 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 the translation from
alk-video-formalizing-haskell-98-in-the-k-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
> wrote:
> > Dear Haskell Cafe
> >
> > I'm looking for informatio
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 stil
22 matches
Mail list logo
