Message from discussion
Pointed sucks
Received: by 10.66.84.6 with SMTP id u6mr87454pay.31.1343094597194;
Mon, 23 Jul 2012 18:49:57 -0700 (PDT)
X-BeenThere: scalaz@googlegroups.com
Received: by 10.68.229.8 with SMTP id sm8ls12058348pbc.0.gmail; Mon, 23 Jul
2012 18:49:56 -0700 (PDT)
Received: by 10.66.75.7 with SMTP id y7mr94952pav.12.1343094596676;
Mon, 23 Jul 2012 18:49:56 -0700 (PDT)
Received: by 10.66.75.7 with SMTP id y7mr94951pav.12.1343094596661;
Mon, 23 Jul 2012 18:49:56 -0700 (PDT)
Return-Path: <tonymor...@gmail.com>
Received: from mail-pb0-f46.google.com (mail-pb0-f46.google.com [209.85.160.46])
by gmr-mx.google.com with ESMTPS id oh7si688533pbb.2.2012.07.23.18.49.56
(version=TLSv1/SSLv3 cipher=OTHER);
Mon, 23 Jul 2012 18:49:56 -0700 (PDT)
Received-SPF: pass (google.com: domain of tonymor...@gmail.com designates 209.85.160.46 as permitted sender) client-ip=209.85.160.46;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of tonymor...@gmail.com designates 209.85.160.46 as permitted sender) smtp.mail=tonymor...@gmail.com; dkim=pass header...@gmail.com
Received: by mail-pb0-f46.google.com with SMTP id rp8so12516806pbb.33
for <scalaz@googlegroups.com>; Mon, 23 Jul 2012 18:49:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20120113;
h=message-id:date:from:reply-to:user-agent:mime-version:to:subject
:references:in-reply-to:x-enigmail-version:content-type
:content-transfer-encoding;
bh=gakXsQe1W3V5zA6iJGw6fqk6mCXZvDDZaSgUY81rPik=;
b=ees9OzY/jK0RF0S5ISASdHfW+RBX1j77m6cry/mHYGNd8aO/vh3geZl1hCkSc20EBn
4gOm6yWQwf9mSMkdGYucSBDlBwOYo5YMKwHcWVcrevGVPdL15xSDuhlzEo0ovgzkNg3k
p9OOcB6vugOCmFQ0qoKTL8tpSKYOIQrDFxW9+wgo75JQM+n/QR9Sr8qr37v+87B2L5X5
kPTUedM+QP5tEKTXClk6vvPbbHzbV2sNOolDOIfaGj48QtUB47apNoxgAUqcKe4O+SkU
BsgQBVD0dxab0gIrxIF5OWX6wb6dhCwpaHc8oKw9hNpv4QjYhVYNWzB6/CTyYvgzsxn5
C5EA==
Received: by 10.68.195.202 with SMTP id ig10mr40280428pbc.37.1343094596542;
Mon, 23 Jul 2012 18:49:56 -0700 (PDT)
Return-Path: <tonymor...@gmail.com>
Received: from [10.1.3.40] ([59.167.150.66])
by mx.google.com with ESMTPS id ot4sm11056397pbb.65.2012.07.23.18.49.54
(version=SSLv3 cipher=OTHER);
Mon, 23 Jul 2012 18:49:55 -0700 (PDT)
Message-ID: <500DFF41.7000...@gmail.com>
Date: Tue, 24 Jul 2012 11:49:53 +1000
From: Tony Morris <tonymor...@gmail.com>
Reply-To: tmor...@tmorris.net
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.28) Gecko/20120313 Thunderbird/3.1.20
MIME-Version: 1.0
To: scalaz@googlegroups.com
Subject: Re: [scalaz] Pointed sucks
References: <500DFCDD.2090...@gmail.com> <CABjJA73a+C4MktA7v4WwAaQCmYJyLzOm2Zx5vHAobqUnQ6p...@mail.gmail.com>
In-Reply-To: <CABjJA73a+C4MktA7v4WwAaQCmYJyLzOm2Zx5vHAobqUnQ6p...@mail.gmail.com>
X-Enigmail-Version: 1.1.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
I guess it is less important than the extent to which it annoys me. The
invitation provided by its existence is a trap that I have fallen into
and I do not want others to do same.
I may be overstating its importance.
On 24/07/12 11:41, Runar Bjarnason wrote:
> I agree that Pointed is not really meaningful without Apply.
>
> But, out of curiosity, why is this important?
>
>
>
> On Mon, Jul 23, 2012 at 9:39 PM, Tony Morris <tonymor...@gmail.com> wrote:
>> Hello,
>> I am often asked what a good way to get started with Scalaz would be. It
>> turns out, there is no good way and that the idea of a "good way to get
>> started" doesn't really make sense in the context of the Scalaz library,
>> so some people are disappointed when I do not give a clear answer.
>>
>> Although there is still not a good answer, I can at least articulate a
>> task that can possibly help.
>>
>> The Pointed type-class is a mistake. It should not exist on its own. It
>> belongs on Applicative. The point operation should look like this:
>>
>> trait Applicative[F[_]] extends Apply[F] {
>> def point[A](a: => A): F[A]
>> }
>>
>> I spent about 30 minutes initiating this change, without the intention
>> of completing it, but I just wanted to see what would be involved. I
>> learned that a lot of thinking and learning would be involved.
>> Nevertheless, I think fixing this bug is quite important. So if anyone
>> is up to it, there would be free cookies involved.
>>
>> --
>> Tony Morris
>> http://tmorris.net/
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups "scalaz" group.
>> To post to this group, send email to scalaz@googlegroups.com.
>> To unsubscribe from this group, send email to scalaz+unsubscribe@googlegroups.com.
>> For more options, visit this group at http://groups.google.com/group/scalaz?hl=en.
>>
--
Tony Morris
http://tmorris.net/