Hi,
How do you instantiate from classes with method type constraints, such as this
one:
class C a where
m :: (Num b) => a -> b
This type declaration for 'm' probably doesn't mean what you think it
does. I think what you want is "m takes an item of type 'a' and returns
an item of a part
Hi,
How do you instantiate from classes with method type constraints, such as this
one:
class C a where
m :: (Num b) => a -> b
??
I have been trying for some time now but everything I have tried fails.
In particular, what I want to do is something like this:
class Rect a where
wid
[ Apologies for multiple postings; please forward to potentially
interested parties ]
CUFP 2005
THE SECOND COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING WORKSHOP
Talinn, Estonia
September 24th 2005
Jim Apple <[EMAIL PROTECTED]> writes:
> robert dockins wrote:
>>> Why remove a feature from a product? Why not, instead, just choose
>>> to not use it?
>> Because the feature complicates the product, increases maintainance
>> costs, and keeps the maintainers from working on other things people
>
On 6/28/05, Jim Apple <[EMAIL PROTECTED]> wrote:
> > Some people would like features removed (implicit parameters was mentioned
> > a couple of times). Linear implicit parameters is a clear candidate for
> > removal.
>
> I don't understand the motivation for this. Implicit parameters do weird
>
